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

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

Done in https://github.com/mirage/mirage/pull/255

Note, the PR contains slightly more changes that really needed, but I think I 
didn't break any user code. In doubt, the only relevant commit is 
https://github.com/samoht/mirage/commit/68958f760f35e6dd259eddfcc803395041a72891

Thomas


On 21 Jun 2014, at 17:06, Hannes Mehnert <hannes@xxxxxxxxxxx> wrote:

> Signed PGP part
> 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
> 
> 
> _______________________________________________
> 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