Re: Problems to set up Pistachio

> I compiled the kernel with this two rotating characters and they indicate 
> that the kernel is still running.
> Any ideas about that problem?

By default, L4 sends its debugging output over the serial port. You can change
this behaviour in the kernel configuration (Debugger -> Kernel Debugger
Console -> Keyboard (instead of 'Serial Port'), so that L4 will print to the
local screen and read input from the local keyboard instead.

Cheers,
Philipp