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