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

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



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 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);
        }
 #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 at os.inf.tu-dresden.de>
An: "Rudolf Weber" <rwib at web.de>
Cc: "l4 l4hackerlist" <l4-hackers at 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  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 at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/[http://os.inf.tu-dresden.de/~adam/]
-------------- next part --------------
A non-text attachment was scrubbed...
Name: log
Type: application/octet-stream
Size: 15412 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130718/f6ee99aa/attachment.obj>


More information about the l4-hackers mailing list