rpi5-kernel-dbg from Void

rpi5-kernel-dbg

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

Version 6.12.52_{_1}

aarch64-glibc - aarch64-musl

Details

Homepage:: http://www.kernel.org
License:: GPL-2.0-only
Maintainer:: classabbyamp
Repository:: void-repo-debug
Built at:: 2025-10-15 23:18
Installed size:: 1.81 GiB
Provides:: rpi-kernel-dbg-6.12.52_{_1}
Popularity:: No usages in 127 reports