[MirageOS-devel] libminios/openlibm support ready for testing

[Thomas Leonard <talex5@xxxxxxxxx>]

https://github.com/mirage/mirage-platform/pull/93

This pull request removes dietlibc, libm and most of the header files
from mirage-platform, replacing them with external dependencies on
Mini-OS and openlibm.

These changes do not themselves add support for ARM, but they do make
it very easy to add, since the new Mini-OS and openlibm both support
ARM, unlike the old code.

There is no replacement libc. It turned out that the only thing we
needed was support for formatting floating point values. I took the
code for that from musl (the FreeBSD code was large and difficult to
separate out).

To test:

1. Download and install libminios from
https://github.com/talex5/xen/releases/tag/minios-v0.1
2. Download and install openlibm from
https://github.com/talex5/openlibm/releases/tag/v0.3.1-tal1
3. Use with mirage from https://github.com/talex5/mirage/commits/master

The openlibm release is from upstream master (while we're waiting for
an official release). The ARM support on the minios branch is
currently under review on xen-devel, while the changes to make it a
library have not been submitted for review at all.

If someone could test this on x86_64 and let me know if it works, that
would be great!


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