re: free dhcp server https://www.isc.org/downloads/ found in freebsd docs not sure what OS it can be used with, maybe there is a debian package for it?