DHCP Options, Option 42, ntptime.settime()

[mingalsuo]

Hi!

My networks convey NTP-service information over DHCP options and I'm looking for a way to get hold of the options in MicroPython. Is there a way to access them?

It would be even more awesome if ntptime.settime() would somehow be able to find this out by itself and query the IP conveyed over DHCP option 42 for NTP with zero additional lines of code.

Thanks :)