mirage/mirage-console — pull request #26 by avsm (2014-10-17 23:31:20+00:00)
Title: Rename Console to Console_unix and Console_xen to ensure they remain distinct

We now need to patch mirage to generate the right Console module as an
alias to Console_unix or Console_xen.

Fixes #25