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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

This is merged into mirage-trunk now, and will be in 1.2.0.

Hannes, David, do you want to make ocaml-tls depend on mirage-trunk for now, so 
you can undo the CLOCK hacks and ensure the support is enough for what you need?

-anil

On 21 Jun 2014, at 23:17, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

> 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
> 


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