History log of /seL4-camkes-master/tools/rumprun/platform/hw/include/arch/x86/cons.h
Revision Date Author Comments
# 5350ee53 28-Sep-2015 Martin Lucina <martin@lucina.net>

Serial console support for hw (x86) platform

Implement basic serial console (output-only, without interrupts) for
hw/x86. Console output defaults to VGA, serial console is only used when
the BIOS claims VGA is not present and a serial port is present.