2024-10-16 22:50:37 +02:00
|
|
|
{
|
2024-10-29 08:55:56 +01:00
|
|
|
config,
|
|
|
|
|
pkgs,
|
|
|
|
|
lib,
|
|
|
|
|
...
|
|
|
|
|
}: {
|
2024-10-16 22:50:37 +02:00
|
|
|
environment.systemPackages = [
|
|
|
|
|
# For debugging and troubleshooting Secure Boot.
|
|
|
|
|
pkgs.sbctl
|
|
|
|
|
];
|
|
|
|
|
boot.loader.systemd-boot.enable = lib.mkForce false;
|
|
|
|
|
boot.lanzaboote = {
|
|
|
|
|
enable = true;
|
|
|
|
|
pkiBundle = "/etc/secureboot";
|
|
|
|
|
};
|
2024-10-29 08:55:56 +01:00
|
|
|
}
|
