Re: [MirageOS-devel] TLS on Xen status

[Thomas Leonard <talex5@xxxxxxxxx>]

On 22 December 2014 at 10:36, Thomas Leonard <talex5@xxxxxxxxx> wrote:
> On 22 December 2014 at 10:30, Hannes Mehnert <hannes@xxxxxxxxxxx> wrote:
>> -----BEGIN PGP SIGNED MESSAGE-----
>> Hash: SHA384
>>
>> On 12/19/2014 18:33, Thomas Leonard wrote:
>>> Now we just need to get Xen support in nocrypto, but that should
>>> be fairly straight-forward.
>>
>> What needs to be done there?
>
> Detect if mirage-xen is installed and build a second copy of each
> object file built against those headers. See tcpip for an example. I'm
> looking into it now...

https://github.com/mirleft/ocaml-nocrypto/pull/44


-- 
Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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