I wanted to make sure I'm not duplicating the same functionality elsewhere. Is someone already working on something similar?

Not to my knowledge, so feel free to go for it.

Some work on machine.RTC here: #85

Thanks mcauser! I'll just add the localtime method to utime to complete setting the time.

Cool, I should add a call to machine.RTC().init() to mpy-utils as well ...

Actually, I did implement datetime() in #85

Though, I need to update it to make a bit more sense, since I screwed up the year / month thing (1900 and 0-11) Edit 1: Fixed, pushed, matches implementation from the documentation.

Edit 2: Also, implemented using subseconds (255-0) instead of µseconds ... probably not the right thing to do for machine.RTC (as opposed to pyb.RTC)

Edit 3: Implemented RTC().init(()), and replaced subseconds with microseconds

Has anybody wired in the SNTP code form the SDK? Seems like it'd be a nice fit.

Thanks @MrSurly, that's what I needed to set the time from ntp.