Unable to mount /dev/root

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue May 6 22:38:58 CEST 2008

On Tue May 06, 2008 at 17:08:26 +0400, Igor V. Ruzanov wrote:
> On Mon, 5 May 2008, Adam Lackorzynski wrote:
> >
> > It's not unlikely but I would need to look myself. Can you tell me what
> > the problem with GODIRECT is? That's the mode that is usually supposed
> > to work.
> 1)First of all i would like to show you my boot log starting from Fiasco 
> loading stage (i all the same attached another machine with xterm via 
> serial cable made by my hands):

> l4lx    | L4RM: [PF] read at 0xf0cfb000, ip 00697406, src F.02
> l4lx    | [F.0] l4rm/lib/src/pagefault.c:81:__unknown_pf():
> l4lx    |  unhandled page fault
>      ---------------------------------------------------------IP: a00b53a6          --PANIC, 'g' for exit
> [l4lx.rm] (f.00) jdb:
> It happens every time when CONFIG_PCI_GODIRECT opthion is set. I tried 
> (quiet useless but for experiment clearence) to point pci=conf2 boot 
> option (as in example above) but it didn't led to any good changes. As i 
> can analyze the boot log there are no any error messages showing the need 
> to fix someting in L4 configs.
Ah, now I got it I think. You need to allow L4Linux to access those
ports, i.e. add 'ioport [ 0x0cf8, 0x0cff ]' to the loader config script
to allow access to the PCI ports. That should fix it. For other devices
this works equally.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list