mirage/mirage-xen-minios — pull request #10 by talex5 (2014-12-01 12:24:01+00:00)
Title: Build Openlibm with Mini-OS CFLAGS

In particular, use -mno-red-zone on x86_64.

This uses an updated Openlibm that doesn't use `sys/types.h`, since that isn't provided by Mini-OS.