{ config, lib, pkgs, ... }: { pub-solar.server.enable = true; hardware.ksm.enable = true; pub-solar.core.disk-encryption-active = false; networking.networkmanager.enable = lib.mkForce false; # Use the GRUB 2 boot loader. boot.loader.grub.enable = true; boot.loader.grub.version = 2; boot.loader.grub.device = "/dev/disk/by-id/usb-HP_iLO_Internal_SD-CARD_000002660A01-0:0"; boot.loader.systemd-boot.enable = lib.mkForce false; time.timeZone = "Europe/Berlin"; networking.interfaces.eno1.useDHCP = true; networking.nat.enable = true; networking.nat.internalIPs = ["10.10.42.0/24"]; networking.nat.externalInterface = "eno1"; networking.firewall.allowedTCPPorts = [80 443 22]; networking.firewall.allowedUDPPorts = [51899]; networking.firewall.enable = lib.mkForce true; system.stateVersion = "21.05"; # Did you read the comment? }