Re: l4linux: l4x_setup_memory:Cant get main memory
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 ? Correct. > 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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/