#
# DHCP configuration file. ISC DHCP server v2.0
#

#
# Global parameters
#
# Use declaration identifier as hostname
use-host-decl-names on;


#
# Shared-network definition
#
shared-network lnfnetwork {
    #
    # Company-wide parameters
    #
    option domain-name "lnf.infn.it";

    #
    # Subnet definition
    #
    subnet 193.206.80.0 netmask 255.255.248.0 {
        #
        # Subnet-specific information
        #
        # Default gateway
        option routers 193.206.80.11;
        # DNS server
        option domain-name-servers 193.206.84.12;
        #
        # PXE group declaration
        #
        group {
            #
            # PXE specific parameters
            #
            use-host-decl-names on;
            # Infinite lease time
            default-lease-time -1;
            # TFTP server IP address
            next-server 193.206.84.218;
            # Name of the bootstrap program
            filename "bpbatch/bpbatch.P";
            # Vendor class setup for PXE
            option dhcp-class-identifier "PXEClient";
            # Vendor-specific parameters
            # Since we do not use PXE parameters in
            # this example, we set this option to
            # 01:04:00:00:00:00 which means 'NULL parameter'
            option vendor-encapsulated-options 01:04:00:00:00:00;
            # BpBatch specific parameters
#            option option-135 "-i";
#            option option-135 "bpbatch/bpbscript";
            option option-135 "bpbatch/bpbmenu";
            # User-level parameters (opt 128 to 135 free for use)
            option option-132 "workgroup";
            #
            # PXE hosts
            #
            host xtermpc1 {
              hardware ethernet 00:04:76:23:07:73;
              option option-134 "xtermpc1";
              fixed-address xtermpc1.lnf.infn.it;
            }
            host xtermpc2 {
              hardware ethernet 00:04:76:20:a9:6b;
              option option-134 "xtermpc2";
              fixed-address xtermpc2.lnf.infn.it;
            }
            host xtermpc3 {
              hardware ethernet 00:04:76:24:2f:be;
              option option-134 "xtermpc3";
              fixed-address xtermpc3.lnf.infn.it;
            }
            host xtermpc4 {
              hardware ethernet 00:04:76:20:ab:5e;
              option option-134 "xtermpc4";
              fixed-address xtermpc4.lnf.infn.it;
            }
            host xtermpc5 {
              hardware ethernet 00:04:76:23:04:1f;
              option option-134 "xtermpc5";
              fixed-address xtermpc5.lnf.infn.it;
            }
            host xtermpc6 {
              hardware ethernet 00:04:76:1e:21:42;
              option option-134 "xtermpc6";
              fixed-address xtermpc6.lnf.infn.it;
            }
            host xtermpc7 {
              hardware ethernet 00:04:76:23:05:d7;
              option option-134 "xtermpc7";
              fixed-address xtermpc7.lnf.infn.it;
            }
            host xtermpc8 {
              hardware ethernet 00:04:76:22:c3:7d;
              option option-134 "xtermpc8";
              fixed-address xtermpc8.lnf.infn.it;
            }
            host xtermpc9 {
              hardware ethernet 00:04:76:24:74:02;
              option option-134 "xtermpc9";
              fixed-address xtermpc9.lnf.infn.it;
            }
            host xtermpc10 {
              hardware ethernet 00:04:76:23:dd:04;
              option option-134 "xtermpc10";
              fixed-address xtermpc10.lnf.infn.it;
            }
            host xtermpc11 {
              hardware ethernet 00:04:76:20:a5:3c;
              option option-134 "xtermpc11";
              fixed-address xtermpc11.lnf.infn.it;
            }
            host xtermpc12 {
              hardware ethernet 00:04:76:23:94:25;
              option option-134 "xtermpc12";
              fixed-address xtermpc12.lnf.infn.it;
            }
            host xtermpc13 {
              hardware ethernet 00:04:76:24:74:00;
              option option-134 "xtermpc13";
              fixed-address xtermpc13.lnf.infn.it;
            }
            host xtermpc14 {
              hardware ethernet 00:04:76:24:72:09;
              option option-134 "xtermpc14";
              fixed-address xtermpc14.lnf.infn.it;
            }
        }
    }
}