[MirageOS-devel] Mirage clock

[Matthew Gray <matthew.thomas.gray@xxxxxxxxx>]

I've updated the issue with some thoughts about how I'm going toÂgo about this. Will have some code next week, hopefully

On Mon, Aug 10, 2015 at 10:43 AM, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

> 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Âto keep track of the new Clock API. Feel free to add design ideas there.

Best,

Thomas

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel