> > The intention is to use this library as the base for timestamp 
> > representation and adapt CLOCK to use that instead. For now, putting in a 
> > float<->integer shim would get you past this, but it shouldn't be needed 
> > after the conversion to Ptime...
> > 
> 
> Ok, thanks. I still need to put together a proposal for a scheduler/calendar 
> module, I'll use ptime too.

I have just created https://github.com/mirage/mirage/issues/442 
<https://github.com/mirage/mirage/issues/442> to keep track of the new Clock 
API. Feel free to add design ideas there.

Best,
Thomas
_______________________________________________
MirageOS-devel mailing list
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Reply via email to