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

"Rudolf Weber" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <trinity-b922fa04-3619-46e5-8f5f-3392c7469aa7-1373975286108@3capp-webde-bs49>
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  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" <[email protected]>
An: "Rudolf Weber" <[email protected]>
Cc: "l4 l4hackerlist" <[email protected]>
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 [email protected]
Lackorzynski http://os.inf.tu-dresden.de/~adam/[http://os.inf.tu-dresden.de/~adam/]

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
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.