Re: [MirageOS-devel] Using Clock directly from the mirage tool

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

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

On 06/21/2014 16:07, Anil Madhavapeddy wrote:
> You mentioned a problem with the Mirage frontend not exposing a
> generator for Clock directly to unikernels.  ThomasG thought that
> it should be an easy fix, but I can't find a bug open for this.  Is
> it still an issue?

It is. Our current workaround is to require mirage-clock-unix:
https://github.com/mirleft/ocaml-tls/commit/4e54d3122c882552198c0eacfbb7af9d67888d32

(and our X509 module requires a CLOCK):
https://github.com/mirleft/ocaml-tls/commit/8a71e7fca4e022edaeb79076972ce7818ed30ac9

Cheers,

Hannes
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (FreeBSD)

iQIcBAEBCQAGBQJTpa2SAAoJELyJZYjffCjuZosP/iyDmr+opg2fEt0/6INyCSx+
MIUeWSDcWb8QgoEwxrFmwu14m11LAuUEQnAQrtCyLfwtZXNzdyXaGag1royKzljI
IOz2UeFMikt4MGKVEmjWWrNTjD9I8eQpaNP11e8slIbRl0r4Fqz66y+Nmov1GgPh
KLTquxTiOVaNuWxbVU9CT/U8L9L4wTTeQ4iZAknQAy39nxA+6ys8a+Y4J+7NOdCh
Zt+RZmbYJ+PvX9H3CV5NwuW1NaW7/MfmEB+6iUwifS/Pkrw9TFsyHiGqnLnza8Ag
CgJCy3iWko5guTY70xecAtjjCmyXud27FYklGa815S8DGxZtWz+dqKGIigLgi21z
BLFttj6RLrgR7GK8Of5bYdpA+zylw/68QyOlgftYGLSHqavOJtSMpWznj7c72bpH
kenLKBCs2qvX/wpVyjf+IifwuVY3SHDTyxuCRVO7U9kb1EzMvDWXNJqWHNWPfLUD
GzBlsHqeHiLD6VP72Mo30QE3bg65uWguUu8Eg50Bn+QOUp1AQzXw5WMa5boXy1Eo
lJt21pMQY0tt6KT7jYBMWBmNKVIiZSVnFof7lbEzOIMYST5+fJFy5a9+S6dzOC+R
wQmcqOIlD1UDvaPlIVNGpW81ENxbLPskL0UrkU0Uy9+onZsXeZQC2zLA6/476e7A
DkIDNiX17m2CaF/2JXzB
=rTHy
-----END PGP SIGNATURE-----

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