[MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA384

Hi,

is there a minimal invasive way to refer to Unix.tm inside of a
library which should also be usable on mirage? I know that mirage
provides the same type via CLOCK.tm, but I also do not want to depend
on mirage just for the type.

I provided sensible default values for validity times of a X.509
certificate using Unix.tm/gmtime/time -- all of which are also
available in the mirage CLOCK module type. Is there a way that the
X.509 library uses these symbols from the Unix module, and mirage
takes care that they're available (trivial in the non-xen case, in the
xen case I believe the OCaml runtime from mirage-xen-ocaml needs to be
modified slightly!?)?

I cannot come up with clean solutions off the top of my head atm, but
I'd be glad if there is a simple solution. Maybe a lightweight
calendar/date library providing functionality such as Unix.tm and
Unix.gmtime would be sufficient? (ASN.1 combinators already provide
some basics (float -> t, t -> float where t is similar to Unix.tm):
https://github.com/mirleft/ocaml-asn1-combinators/blob/master/src/asn_time.mli


Ideas? Thoughts?

Hannes
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCQAGBQJVh+QwAAoJELyJZYjffCjuAPgP/11VTH9qu5svePthfNKXsvcZ
l68pQwont53IpfaIyd3bCTPnUVwBn+dFx39HTRpgXlWv2ZapVXHecna4gTnD+HBp
gchH5zUyNrvLPRULqzDAOSdAQ1GbDi/o6kq4M4wAtgbXQoTof8d+4rAR4SGuavWX
ezLvOzKSGH0kNDxodNS/EAQ/oEdjV08aUjUkSxIutLVVDIPlUyl+gZZ37irRyxFF
1FB20v7+uW8322Wt6nLffQpN4/7XK9znLqamAMOHfFsbPqPSyHbftyCrJfolR1bu
DD1CuGkNEP+orX1oDFT4PSFHm6NOhw7CMH1p56cViE4wsNaQpzBQpGVnq/KdQbeK
2xijdVc2jf7dW+lY/vCMZmJ5Nz9trV/p1etlCwAUDh0rg5Mm7UKOJ5rkBZDT3bLi
AexpB8oAD3OKV5GB1pYeJlIGsXHHwK3E3xyOLJjcsnms2SOf4LN/YJjjkYZXCTAX
74FPflMkGRRwMXGx4wV/rI3+4f2006utTLAu8vi4lwiPBOhKd4hRSc2schqHtsd5
P4QI/JM1T6JCO83QP4vZ/MkF75h517Cy9Ek8dD2jc66KgXIKLl1OGZtWaVj3YSgl
gNxRUD5zuJ8HrsS5xi4YCtdKX/YFMa8pIuNVpuLbap4qby9ciHeiSIRf3CgBcvFC
CKhTFACgxbzVNHSeCf4a
=H0g4
-----END PGP SIGNATURE-----

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