rpi-kernel-dbg

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

Details

Homepage:

http://www.kernel.org

License:

GPL-2.0-only

Maintainer:

classabbyamp

Repository:

void-repo-debug

Built at:

2025-10-15 21:44 - 2025-10-16 00:11

Installed size:

921.63 MiB - 1.81 GiB

Popularity:

No usages in 121 reports

Provides:

rpi-kernel-dbg-6.12.52_{_1}