mirage/mirage-console — pull request #9 by djs55 (2014-06-03 09:50:33+00:00)
Title: Fix dependencies: this library does not depend on mirage-{xen,unix}

It only depends on mirage-types (plus a set of standard libraries)

Signed-off-by: David Scott