{ ... }: { boot.loader = { systemd-boot.enable = true; efi.canTouchEfiVariables = true; }; networking = { useDHCP = false; # these are Hetzner's DNS servers. nameservers = [ "2a01:4ff:ff00::add:1" "2a01:4ff:ff00::add:2" ]; }; systemd.network.enable = true; systemd.network.networks."10-wan" = { name = "enp1s0"; DHCP = "no"; address = [ "2a01:4f8:c2c:cd93::1" ]; routes = [ { Gateway = "fe80::1"; } ]; }; }