#976015 debian-kernel-handbook: Document how to produce a custom kernel for UEFI Secure Boot #976015
- Package:
- debian-kernel-handbook
- Source:
- kernel-handbook
- Submitter:
- Mattia Monga
- Date:
- 2020-11-28 10:27:04 UTC
- Severity:
- wishlist
- Tags:
The procedure needed to produce a signed custom kernel suitable for UEFI Secure Boot is not documented (although the Debian kernel packages are correctly signed). Even https://wiki.debian.org/SecureBoot explains how to add a Machine Owner Key to the system, but not how produce a signed kernel.