search

mirage / mirage-xen-minios

Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm
7 stars 7 forks source link

Upgrade to libmini-os 0.3 and openlibm 0.4 #4

Closed talex5 closed 10 years ago

talex5 commented 10 years ago

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