Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm - View it on GitHub