problems running l4linux

[Stefan Kögel]

Hi,

i am trying to run l4linux on top of fiasco.
Using the cfg start script from the website to load vmlinux.
But after that nothing really happens and the keyboard somehow gets
redirected to my serial connection.

jdb output is:
loader  | sleeping for 1000 ms
loader  | vmlinux: Starting sigma0-style application
loader  | vmlinux: Loading binary
loader  | vmlinux,#f: Entry at 00009c3c => 00400000
loader  | vmlinux,#f: Started
loader  | DEBUG file = vmlinux
loader  | vmlinux,#f: Double PF (r) at 00000000 eip 00000000 (F.00)

It seems to load quite ok, but nothing else.

But I may have not payed enough attention to configuring the l4linux
kernel. I know I tryed to turn off any serial drivers. Which part should
have control over the keyboard?

Thank you for your help.
Kind Regards,
Stefan