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

[Thomas Leonard <talex5@xxxxxxxxx>]

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