Hi Debian Kernel Team, It was a pleasure speaking with Ben at DebConf25. I’m following up on our conversation regarding the idea of introducing a dedicated debug kernel package in the Debian.
I believe having an easily selectable debug-enabled kernel would be a significant benefit for users, particularly during board bring-up or when troubleshooting kernel-related issues. I’d love to hear your thoughts on whether this might be a direction worth exploring. As a potential reference point, Fedora’s approach to debug kernel configuration could be quite helpful. Their debug-config is available in the Rawhide branch: Link: https://src.fedoraproject.org/rpms/kernel/tree/rawhide I look forward to your feedback when you have a chance. Warm regards, Yunseong Kim
