[okl4-developer] Console output on Iguana

[Hal Ashburner]

Jamie Lennox wrote:
> Should have mentioned that i am building with machine=ia32_pc99_vga.
> I'm going to take a stab in the dark and assume there is no easily
> available vga driver, right?

Hi Jamie,
That builds you a vga driver in OK Linux - so you won't get L4 or Iguana
output only linux output on it. It is also a little temperamental so if
you need VGA in particular then you might want to play with the struct
screen_info values set in arch/l4/kernel/setup.c to get some output.

Alternatively use ia32_pc99_fb for the framebuffer console, if there's a
linux driver for your videocard that you can enable.

Playing with these things I like to run qemu with -serial stdio so I
have serial output on my terminal as well as emulated vga or framebuffer
output.

Another alternative depending on what you are trying to achieve is to
enable the VGA driver in the L4 kernel then get everything to use that
via the L4 KDB serial driver. That may take a bit of fiddling to get
right and I haven't actually tried this myself.

All the best,
Hal