problems running l4linux
adam at os.inf.tu-dresden.de
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 os.inf.tu-dresden.de
More information about the l4-hackers