{ config, pkgs, ...}: { networking.vlans."net-infojurte" = { id = 209; interface = "ens18"; }; networking.interfaces.net-infojurte.ipv6.addresses = [ { address = "fe80::1"; prefixLength = 64; } { address = "fd00:10:42:209::1"; prefixLength = 64; } ]; networking.interfaces.net-infojurte.ipv4.addresses = [ { address = "10.42.209.1"; prefixLength = 24; } ]; services.radvd.config = '' interface net-infojurte { AdvSendAdvert on; prefix fd00:10:42:209::/64 {}; RDNSS 2a01:4f8:1c0c:8221::8 {}; DNSSL bula22.de {}; }; ''; services.kea.dhcp4 = { settings = { interfaces-config = { interfaces = [ "net-infojurte" ]; }; subnet4 = [ { id = 209; subnet = "10.42.209.1/24"; pools = [ { pool = "10.42.209.100 - 10.42.209.240"; } ]; option-data = [ { name = "routers"; data = "10.42.209.1"; } ]; } ]; }; }; }