{ ... }:

{
  networking.interfaces.net0 = {
    ipv4.addresses = [
      {
        address = "172.31.17.151";
        prefixLength = 25;
      }
    ];
  };
  networking.defaultGateway = "172.31.17.129";
  networking.nameservers = [ "212.12.50.158" "192.76.134.90" ];
  networking.search = [ "hamburg.ccc.de" ];

  systemd.network.links."10-net0" = {
    matchConfig.MACAddress = "86:72:08:F6:C0:D6";
    linkConfig.Name = "net0";
  };
}