mirage/mirage-console — pull request #10 by djs55 (2014-06-03 15:11:45+00:00)
Title: Switch build to OASIS

Note: mirage-console-xen does still depend on mirage-xen since
it needs access to the Start_info page.

Signed-off-by: David Scott