Re: [MirageOS-devel] TLS on Xen status

[Thomas Leonard <talex5@xxxxxxxxx>]

On 17 December 2014 at 14:29, Thomas Leonard <talex5@xxxxxxxxx> wrote:
> The TLS work requires ctypes and zarith to run on Xen. I now have
> ctypes building with Xen support, but zarith is more difficult.

Update gmp and zarith are now working (compiling against only the
Mini-OS headers) and can be used from Xen unikernels. You will need:

New versions of Mini-OS and Openlibm, adding some previously-missing headers:

https://github.com/mirage/mirage-xen-minios/pull/11

mirage-xen, with old (conflicting) headers removed:

https://github.com/talex5/mirage-platform/tree/headers

(not ready for merge as I need to check if there are more we can lose)

mirage-dev repository with the new zarith and gmp packages (we might
want to rename zarith to mirage-zarith or similar):

opam remote add devel https://github.com/talex5/mirage-dev.git#zarith

https://github.com/mirage/mirage-dev/pull/49

Updated mirage tool to fix the link order:

opam pin add mirage 'https://github.com/talex5/mirage.git#xen_linkopts'

https://github.com/mirage/mirage/pull/341

Now we just need to get Xen support in nocrypto, but that should be
fairly straight-forward.


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