L4IO problem

Christian Helmuth ch12 at os.inf.tu-dresden.de
Mon Sep 13 09:58:54 CEST 2004


Hi,

On Mon, Sep 13, 2004 at 09:20:59AM +0200, Leon wrote:
> Hi all,
> 
> With both Friday's (2004-09-10) and today's (2004-09-13) CVS update I get  
> the error:
> 
> === Building servers, examples of "l4io" ===
> make[1]: Entering directory `/root/Fiasco_L4Env/l4/pkg/l4io'
> make[2]: Entering directory `/root/Fiasco_L4Env/l4/pkg/l4io/server'
> make[3]: Entering directory `/root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci'
> make[4]: Entering directory  
> `/root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src'
> PWD=/root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/OBJ-x86_586-l4v2  
> make -C OBJ-x86_586-l4v2 -f Makefile
> make[5]: Entering directory  
> `/root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/OBJ-x86_586-l4v2'
>   ... Compiling arch-i386/pci-irq.o
> /root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/arch-i386/pci-irq.c: In  
> function `intel_router_probe':
> /root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/arch-i386/pci-irq.c:578:  
> error: `PCI_DEVICE_ID_INTEL_82443GX_0' undeclared (first use in this  
> function)
> /root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/arch-i386/pci-irq.c:578:  
> error: (Each undeclared identifier is reported only once
> /root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/arch-i386/pci-irq.c:578:  
> error: for each function it appears in.)
> /root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/arch-i386/pci-irq.c:579:  
> error: `PCI_DEVICE_ID_INTEL_82443GX_2' undeclared (first use in this  
> function)
> /root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/arch-i386/pci-irq.c:598:  
> error: `PCI_DEVICE_ID_INTEL_ICH6_0' undeclared (first use in this function)
> make[5]: *** [arch-i386/pci-irq.o] Error 1
> make[5]: Leaving directory  
> `/root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src/OBJ-x86_586-l4v2'
> make[4]: *** [OBJ-x86_586-l4v2] Error 2
> make[4]: Leaving directory  
> `/root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci/src'
> make[3]: *** [src] Error 2
> make[3]: Leaving directory `/root/Fiasco_L4Env/l4/pkg/l4io/server/lib-pci'
> make[2]: *** [lib-pci] Error 2
> make[2]: Leaving directory `/root/Fiasco_L4Env/l4/pkg/l4io/server'
> make[1]: *** [server] Error 2
> make[1]: Leaving directory `/root/Fiasco_L4Env/l4/pkg/l4io'
> make: *** [l4io.bin] Error 2
> 
> 
> Q1: Any suggestions on the above problem?

These errors occur if you use incompatible Linux-Headers to L4IO's libpci.
LINUX24_INCDIR must be set correctly to Linux 2.4.27 headers via "make
config" in L4DIR (or manually). I use

  LINUX24_AVAIL=y
  LINUX24_DIR=$(L4DIR)/../l4linux-2.4
  LINUX24_INCDIR=$(L4DIR)/../l4linux-2.4/include

and it works for me.

> Q2: Am I the only one on this mailing list that gets these compile errors?
> Q3: Which distro do you Dresden guys use. I will switch if it means less  
> problems.

We use Debian, but because of problems with other distros we improved
compatibility. IIRC, there is a bit of documentation about these issues
on the website.

> Q4: At what time GMT does the public cvs get updated?

I think it starts around "04:50:00 CEST" (02:50 GMT).

Chao
-- 
Christian Helmuth
## Dept. of CS, TU Dresden,  Germany ##
## http://os.inf.tu-dresden.de/~ch12 ##




More information about the l4-hackers mailing list