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 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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/