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

Rudolf Weber rwib at
Thu Jul 18 16:42:26 CEST 2013

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 at 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);

        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 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 ?

   Rudolf Weber

Gesendet: Dienstag, 16. Juli 2013 um 22:52 Uhr
Von: "Adam Lackorzynski" <adam at>
An: "Rudolf Weber" <rwib at>
Cc: "l4 l4hackerlist" <l4-hackers at>
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, where
> x86-legacy.devs seems the description  and 
> the policy ?


>  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 for example.

Adam adam at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: log
Type: application/octet-stream
Size: 15412 bytes
Desc: not available
URL: <>

More information about the l4-hackers mailing list