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:

2026-02-06 00:44 - 2026-02-06 01:40

Installed size:

917.09 MiB - 1.80 GiB

Popularity:

No usages in 118 reports

Provides:

rpi-kernel-dbg-6.12.67_{_1}