{ ... }: {
  # Use systemd-networkd for networking
  systemd.network = {
    enable = true;
    networks = {
      enp9s0 = {
        matchConfig.Name = "enp9s0";
        networkConfig = { DHCP = "yes"; };
        extraConfig = ''
          [DHCPv4]
          UseDNS=yes
          UseDomains=yes
        '';
      };
    };
  };
}