anchor.diff:      firewall.extraCommands = '' '';
     };
   
  -  # boot.initrd.luks.devices = {
  -  #   luksroot = {
  -  #     device = "/dev/sda1";
  -  #     preLVM = true;
  -  #     allowDiscards = true;
  -  #   };
  -  # };
  -  # boot.loader.efi.canTouchEfiVariables = true;
  +  boot = {
  +    loader.systemd-boot.enable = true;
  +    loader.efi.canTouchEfiVariables = true;
  +    # initrd.luks.devices = {
  +    #   luksroot = {
  +    #     device = "/dev/sda1";
  +    #     preLVM = true;
  +    #     allowDiscards = true;
  +    #   };
  +    # };
  +    loader.grub = {
  +      enable = false;
  +      version = 2;
  +      device = "/dev/sda1";
  +    };
  +  };
  +
  +  console = {
  +    font = "Lat2-Terminus16";
  +    keyMap = "us";
  +  };
  +  i18n = {
  +    defaultLocale = "en_DK.UTF-8";
  +    extraLocaleSettings = {
  +      LC_TIME = "en_DK.UTF-8";
  +    };
  +  };
  +
  +  time.timeZone = "Europe/Oslo";
   
     features = {
       desktop.enable = false;
  
positive.code:     };
  
      os = {
        boot = {
          uefi = true;
          device = "/dev/sda1";
        };
  
        networkmanager.enable = true;
        externalInterface = "eno2";
  
  
negative.code: 
    programs.singularity.enable = false;
  
    hardware.bluetooth.settings = {
      General = {
        AutoConnct = true;
        MultiProfile = "multiple";
  