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?