Serial console and gnumach/oskit-mach

[Igor Khavkine]

Hi,

I've been trying setup hurd on my second PC (which is not easy
because it doen't have a separate monitor, keyboard or a
network card that works with gnumach). I've worked out all
the problems with the serial connection. But when I tried to
look for documentation on how to set up gnumach/oskit-mach
with a serial console, I was surprised by the lack thereof.

I've managed to find out that GNUmach does not support serial
console. Oskit-mach supports serial console, and even debugging
over it, but there is next to no documentation on how to set it
up. Roland mentioned that there are some explanations in the oskit
docs, but I've only found information on how to add serial console
debugging to a kernel (I assume that has already been done for oskit-mach).

So what are the command line options for oskit-mach to turn on
these features? Roland also mentioned that the oskit distribution
contains example kernels with gdb serial debugging support. I guess
they weren't clearly labeled, which ones are they?

Thanks.

Igor