2023-09-27 09:05:27 +00:00
|
|
|
{
|
2023-11-04 10:14:42 +00:00
|
|
|
inputs,
|
|
|
|
|
pkgs,
|
|
|
|
|
...
|
|
|
|
|
}: {
|
|
|
|
|
imports = [inputs.lanzaboote.nixosModules.lanzaboote];
|
2023-09-27 09:05:27 +00:00
|
|
|
|
2023-11-04 10:14:42 +00:00
|
|
|
environment.systemPackages = with pkgs; [sbctl];
|
2023-10-15 00:51:56 +00:00
|
|
|
boot.loader.systemd-boot.enable = false;
|
2023-09-27 09:05:27 +00:00
|
|
|
boot.lanzaboote = {
|
|
|
|
|
enable = true;
|
|
|
|
|
pkiBundle = "/etc/secureboot";
|
|
|
|
|
};
|
2023-11-04 10:14:42 +00:00
|
|
|
}
|
