8   # Lanzaboote currently replaces the systemd-boot module.
 
   9   # This setting is usually set to true in configuration.nix
 
  10   # generated at installation time. So we force it to false
 
  12   boot.loader.systemd-boot.enable = lib.mkForce false;
 
  15     pkiBundle = "/var/lib/sbctl";
 
  17   environment.systemPackages = [