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
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.