[OmniOS-discuss] DHCP server of choice for OmniOS?

[Dan McDonald]

I just migrated my home server from OI on old hardware, to OmniOS on nice new hardware.  Modulo me forgetting to migrate things until I discovered I needed them, it's been a painless process.

The ONLY thing I have left to migrate is my DHCP service.  It's not big - I expect to manage 8 or 16 addresses out of a /24 subnet that's mostly statics, and I'm not serving Sun Rays or anything that ties me to the old Solaris DHCP server.  On the other hand, the Solaris DHCP server is in the illumos-omnios gate, and apparently the ISC DHCP server isn't in either master or omniti-ms branches of omnios-build.

I'd like to tap the collective wisdom of the community for your suggestions.  What DHCP server do you use on your OmniOS box (if any).

Thanks,
Dan