rpi5-kernel-dbg

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

---

Build for aarch64-glibc, version 6.12.51_{_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-07 12:04

Installed size:

1.81 GiB

Provides:

rpi-kernel-dbg-6.12.51_{_1}

Popularity:

No usages in 119 reports