Re: [MirageOS-devel] Xen C stubs / profiling / TLS / status

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

Thanks for the aggregate list below -- it's very useful.  I'm currently
merging the OCaml/TLS conduit changes, and will review/merge your patches
straight after that goes in.

-anil

> On 4 Dec 2014, at 12:43, Thomas Leonard <talex5@xxxxxxxxx> wrote:
> 
> I'm currently working on upstreaming the profiling/tracing support for
> Mirage, and also on fixing the C compilation problems on Xen/x86
> (needed for TLS on Xen).
> 
> I now have quite a few pull requests open and managing all the various
> branches is getting tricky (not least because of the Mirage practice
> of keeping OASIS files and changelogs under version control, making
> every PR conflict with every other). If someone could merge a few of
> them, that would help a lot! (I think I have permission to do it
> myself, but that seems rude and having someone else review them is
> always useful)
> 
> For example, on mirage-platform, I have:
> 
> https://github.com/mirage/mirage-platform/pull/108 (Use monotonic time
> for events)
> https://github.com/mirage/mirage-platform/pull/107 (Add some more C
> functions for the TLS libraries)
> https://github.com/mirage/mirage-platform/pull/105 (Depend on
> mirage-profile to add tracing support)
> 
> Merging #108 would not only fix sleep on Xen/x86, but would also unblock
> 
> https://github.com/mirage/mirage-profile/pull/2 (Remove C stubs for
> adding timestamp on Xen)
> 
> after which I could merge the mirage-profile mvars thread:
> 
> https://github.com/mirage/mirage-profile/tree/mvars
> 
> which would allow me to make a PR for the tracing work on tcpip. That,
> in turn, would be easier to manage if these PRs were merged first:
> 
> https://github.com/mirage/mirage-tcpip/pull/86 (Fixed race waiting for
> ARP response)
> https://github.com/mirage/mirage-tcpip/pull/85 (Build Xen stubs
> separately, with CFLAGS from Mini-OS)
> 
> Merging #85 would, in particular, unblock:
> 
> https://github.com/mirage/mirage/pull/332 (Get Xen linker options from
> ocamlfind xen_linkopts variables)
> 
> (which also depends on mirage-profile/pull/2, which is blocked by
> mirage-platform#108)
> 
> Thanks!
> 
> 
> -- 
> 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
> 


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