{ ... }:

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

  systemd.network.links."10-net0" = {
    matchConfig.MACAddress = "2A:A5:80:C3:8E:32";
    linkConfig.Name = "net0";
  };
}