Thank you very much -
qemu-system-i386 -m 512M -cdrom ./images/l4linux-mag-x86.iso -serial stdio ^^^^^^^this solved the problem. ... 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%C2%A0 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 ? Is there any manual I have to read ? Rudolf Weber
Gesendet: Montag, 15. Juli 2013 um 00:31 Uhr Von: "Adam Lackorzynski" adam@os.inf.tu-dresden.de An: "Rudolf Weber" rwib@web.de Cc: "l4 l4hackerlist" l4-hackers@os.inf.tu-dresden.de Betreff: Re: l4linux: l4x_setup_memory:Cant get main memory On Sun Jul 14, 2013 at 00:25:05 +0200, Rudolf Weber wrote:
The configuration with the modaddr leads to region conflicts, so I got modaddr 0x02000000 default-kernel fiasco -serial_esc default-bootstrap bootstrap entry L4Linux-mag-x86 roottask moe rom/l4lx-gfx.cfg module l4re module ned module l4lx-gfx.cfg module io module fb-drv module mag module x86-legacy.devs module l4lx-x86.io module vmlinuz module ramdisk-x86.rd
to boot.
The .config file for l4linux is the x86-native_defconfig (the only difference is the setting of CONFIG_L4_OBJ_TREE).
Why can't l4linux get the memory ? l4linux | l4x_setup_memory: Can't get main memory of 65536kiB! What must be done to make the l4linux-Configuration working ?
Hm, tried adding more memory to the VM?
Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/%5Bhttp://os.inf.tu-dresden.de/~adam/]