this post was submitted on 31 May 2024
17 points (90.5% liked)
Debian operating system
2724 readers
1 users here now
Debian is a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. Debian provides more than a pure OS: it comes with over 59000 packages, precompiled software bundled up in a nice format for easy installation on your machine.
founded 4 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
If secureboot is enabled try disabling it. If disabling secureboot resolves the issue re-enable secureboot and add the dkms signing key with mokutil: https://wiki.debian.org/SecureBoot#Making_DKMS_modules_signing_by_DKMS_signing_key_usable_with_the_secure_boot
This has nothing to do with secureboot, as the system boots fine according to the explanation.
That doesn't mean it is loading dynamic kernel modules, which also require enrolling a machine owner key.