problems running l4linux

[Adam Lackorzynski]

Hi,

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/