+mirage-xen-minios.0.4
Merge pull request #2792 from avsm/minios-0.4

Minios 0.4