problems running l4linux

[Stefan Kögel-2]

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

_______________________________________________
l4-hackers mailing list
l4-hackers@...
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

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

_______________________________________________
l4-hackers mailing list
l4-hackers@...
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers