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-07 09:29 - 2025-10-07 14:01

Installed size:

935.24 MiB - 1.81 GiB

Popularity:

No usages in 119 reports

Provides:

rpi-kernel-dbg-6.12.51_{_1}