2023-10-15 00:51:56 +00:00
|
|
|
{ inputs, pkgs, ... }:
|
2023-09-27 09:05:27 +00:00
|
|
|
|
|
|
|
{
|
|
|
|
imports = [ inputs.lanzaboote.nixosModules.lanzaboote ];
|
|
|
|
|
|
|
|
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";
|
|
|
|
};
|
|
|
|
}
|