+mirage-xen-minios.0.2
mirage-xen-minios: linux only for now
Merge pull request #2371 from avsm/external-minios

+mirage-xen-minios.0.2