mirage/mirage-xen-minios — pull request #11 by talex5 (2014-12-18 18:16:10+00:00)
Title: Update to minios-v0.5 and openlibm-v0.4.1-tal1

This allows us to build Mini-OS and Openlibm with -nostdinc.