mirage/mirage-xen-minios — pull request #4 by talex5 (2014-08-06 13:20:16+00:00)
Title: Upgrade to libmini-os 0.3 and openlibm 0.4

Also, don't build in debug mode (this disables all optimisations).