Hello, thank you for the answer. CONFIG_L4_VCPU is enabled in the src/l4linux/arch/l4/configs/x86-native_defconfig, CONFIG_L4_VPCI have to be enabled. But following compiling-error appears:
drivers/built-in.o: In function `pnp_register_irq_resource': /home/rw/l4exp/l4re-snapshot-2013060718/src/l4linux/drivers/pnp/resource.c:70: undefined reference to `pcibios_penalize_isa_irq'
I researched and think, that pcibios_penalize_isa_irq make no sense in the arch/l4. So I make a little changing: rw@m8p:~/l4exp/l4re-snapshot-2013060718$ diff -u src/l4linux/drivers/pnp/resource.c.vorrudi src/l4linux/drivers/pnp/resource.c --- src/l4linux/drivers/pnp/resource.c.vorrudi 2013-06-07 18:36:35.000000000 +0200 +++ src/l4linux/drivers/pnp/resource.c 2013-07-17 17:46:34.629608396 +0200 @@ -61,6 +61,7 @@ irq->map = *map; irq->flags = flags;
+#ifndef CONFIG_L4_VPCI #ifdef CONFIG_PCI { int i; @@ -70,6 +71,7 @@ pcibios_penalize_isa_irq(i, 0); } #endif +#endif
dbg_pnp_show_option(dev, option); return 0;
(Since this is not in the arch/l4-part, I think a dummy pcibios_penalize_isa_irq should be implemented in the arch/l4-Part)
The Booting-Result is better now, but an new error occurs:
l4linux | Invalid IO-Port access at pc = 0080b476 port=0x110
In the System.map I found 0080b400 t el3_init_module which is in the src/l4linux/drivers/net/ethernet/3com/3c509.c - Module. Here the driver scans the io ports 0x110,0x120,...,0x200
Ok - I will throw it out.
But what is the strategy ? Should l4linux get all io ports for all devices - with exception of the devices which serve other servers ? Should l4linux have modules for all not important devices ?
How do you solve it ?
Greetings Rudolf Weber http://www.infnet.verein.de/home/rw/index.html
Gesendet: Dienstag, 16. Juli 2013 um 22:52 Uhr Von: "Adam Lackorzynski" adam@os.inf.tu-dresden.de An: "Rudolf Weber" rwib@web.de Cc: "l4 l4hackerlist" l4-hackers@os.inf.tu-dresden.de Betreff: Re: l4linux: l4x_setup_memory:Cant get main memory On Tue Jul 16, 2013 at 13:48:06 +0200, Rudolf Weber wrote:
... 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 ?
Correct.
http://l4linux.org/use.shtml%C2%A0 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 ?
Please enable CONFIG_L4_VCPU and also start io because io is implementing the virtual PCI busses for the client. Config is as seen in l4lx-x86.io for example.
Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/%5Bhttp://os.inf.tu-dresden.de/~adam/]