l4linux: l4x_setup_memory:Cant get main memory

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Jul 16 22:52:35 CEST 2013

On Tue Jul 16, 2013 at 13:48:06 +0200, Rudolf Weber wrote:
> ... but the next problem apeared:
> l4linux | Invalid IO-Port access at pc = 00654b2d port=0xcf8
> l4linux | Die message: Trap: 13
> l4linux | panic: going to sleep forever, bye
> I understand, that L4Linux needs an IO-Port - namely the PCI-Bus, but io doesn't allows it.
> What resources should be given to l4linux ? 
> I guess the configuration itself is in  x86-legacy.devs or l4lx-x86.io, where
> x86-legacy.devs seems the description  and 
> l4lx-x86.io the policy ?


> http://l4linux.org/use.shtml  describes the modules.list without using the io-server ? Does it grap the whole system ?
> In the L4Linux - menuconfig I see a CONFIG_VPCI.
> It sounds very useful to have a virtual PCI bus - for virtualize more than one instance. Is the virtualpci an server component ?

Please enable CONFIG_L4_VCPU and also start io because io is
implementing the virtual PCI busses for the client. Config is as seen in
l4lx-x86.io for example.

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

More information about the l4-hackers mailing list