l4linux: l4x_setup_memory:Cant get main memory
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
More information about the l4-hackers