rpi-kernel-dbg

Linux kernel for Raspberry Pi (6.12 series) - debugging symbols

---

Build for aarch64-musl, version 6.12.52_{_1}. Builds for all architectures.

---

Details

Homepage:

http://www.kernel.org

License:

GPL-2.0-only

Maintainer:

classabbyamp

Repository:

void-repo-debug

Built at:

2025-10-16 00:11

Installed size:

1.81 GiB

Provides:

rpi-kernel-dbg-6.12.52_{_1}

Popularity:

No usages in 121 reports