Mirage_console
Console signature for MirageOS
Mirage_console_lwt
Console_unix
Text console input/output operations.