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/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.