problems running l4linux

Adam Lackorzynski adam at
Fri Jul 31 15:33:48 CEST 2009


On Fri Jul 31, 2009 at 14:26:06 +0200, Stefan Kögel wrote:
> 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.

You need to load vmlinuz instead of vmlinux.
> 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?

The keyboard is controlled by that component that runs the PS2 driver,
so e.g. L4Linux or a console system. So when you run without any console
system (which I guess you do) then L4Linux can do it.

Adam                 adam at

More information about the l4-hackers mailing list