Re: Rumprun serial console support implemented for x86

[Andrew Stuart]

>>Any ideas?

I’m out of my depth technically here but on Linux you can send console output 
to both VGA and serial.  I don’t know if that is practical or relevant here.
https://www.kernel.org/doc/Documentation/serial-console.txt