mirage/mirage-xen-minios — pull request #9 by talex5 (2014-11-27 13:50:53+00:00)
Title: Build Openlibm with Mini-OS CFLAGS

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

I haven't noticed any specific problems, but this is probably a good idea...