+mirage-xen-minios.0.5.0
Merge pull request #3221 from mirage/mirage-xen-minios.0.5

+mirage-xen-minios.0.5.0