Re: [MirageOS-devel] [mirage-platform] Switched to dietlibc's generic libm (4abf42d)

[Thomas Leonard <talex5@xxxxxxxxx>]

On 7 May 2014 14:54, Anil Madhavapeddy wrote:

Picking a "better libc and libm" is something we should figure out on the list. There are a few new contenders since the initial import of dietlibc...

That would be good. I've been hacking around trying to get a feel for what needs to be done first.
Replacing dietlibc is first on my list of things that need doing (even if only replacing it with the latest version). I'm guessing the current version was imported from a modified CVS snapshot (and doesn't include ARM support). So my plan was to do a clean import of 0.33 and try to get Mirage working on x86_64 with that first.

Then the Xen headers should be updated to include ARM support. It would be good to do a clean import first and then apply the Mirage modifications as a separate commit, to make future updates easier.

libm needs replacing with something that supports ARM. The compiler seemed to be generating function calls for exp, log, etc, rather than using the chip's floating point instructions, so that will need looking at.

However, work has come to a standstill here as my new laptop has arrived...

By the way, what's the best way to install mirage-platform from a local Git checkout so that opam can see it?

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