+mirage-xen-minios.0.4.2
Merge pull request #3095 from avsm/minios-0.4.2

+mirage-xen-minios.0.4.2
Merge pull request #3096 from avsm/mirage.2.0.1

Mirage.2.0.1
+git.1.4.0