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