anchor.diff:        '';
       };
   
  +    dhcpServerConfig = mkOption {
  +      default = {};
  +      example = { PoolOffset = 50; EmitDNS = false; };
  +      type = types.addCheck (types.attrsOf unitOption) check.network.sectionDHCPServer;
  +      description = ''
  +        Each attribute in this set specifies an option in the
  +        <literal>[DHCPServer]</literal> section of the unit.  See
  +        <citerefentry><refentrytitle>systemd.network</refentrytitle>
  +        <manvolnum>5</manvolnum></citerefentry> for details.
  +      '';
  +    };
  +
       ipv6PrefixDelegationConfig = mkOption {
         default = {};
         example = { EmitDNS = true; Managed = true; OtherInformation = true; };
  -      type = types.addCheck (types.attrsOf unitOption) checkIpv6PrefixDelegation;
  +      type = types.addCheck (types.attrsOf unitOption) check.network.sectionIPv6PrefixDelegation;
         description = ''
           Each attribute in this set specifies an option in the
           <literal>[IPv6PrefixDelegation]</literal> section of the unit.  See
  
positive.code:       '';
      };
  
      vrfConfig = mkOption {
        default = {};
        example = { Table = 2342; };
        type = types.addCheck (types.attrsOf unitOption) checkVRF;
        description = ''
          Each attribute in this set specifies an option in the
          <literal>[VRF]</literal> section of the unit. See
          <citerefentry><refentrytitle>systemd.netdev</refentrytitle>
          <manvolnum>5</manvolnum></citerefentry> for details.
          A detailed explanation about how VRFs work can be found in the
          <link xlink:href="https://www.kernel.org/doc/Documentation/networking/vrf.txt">kernel
          docs</link>.
        '';
      };
  
  
negative.code:             ${attrsToSection def.dhcpV6Config}
  
            ''}
            ${optionalString (def.dhcpServerConfig != { }) ''
              [DHCPServer]
              ${attrsToSection def.dhcpServerConfig}
  
            ''}
            ${optionalString (def.ipv6PrefixDelegationConfig != {}) ''
              [IPv6PrefixDelegation]
              ${attrsToSection def.ipv6PrefixDelegationConfig}
  