Aw: Re: l4linux: l4x_setup_memory:Cant get main memory

Rudolf Weber rwib at
Tue Jul 16 13:48:06 CEST 2013

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, where
x86-legacy.devs seems the description  and the policy ?  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 at>
An: "Rudolf Weber" <rwib at>
Cc: "l4 l4hackerlist" <l4-hackers at>
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
> 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 at

More information about the l4-hackers mailing list