Second Problem Building L4ENV for L4Linux 2.6.10

Dennis Newbold dennisne at
Tue Mar 8 21:10:28 CET 2005

Dear L4 Hackers,

   Following the instructions on the L4Linux website, I did a cvs checkout of

 l4linux-2.6 and l4linux-2.6-env

Then, following the "Building" instructions, I cd'd to the l4
directory and typed in
"make config", I then selected "Paths and Directories" to /root/drops
(I had previously
created /root/drops as an empty directory, and chmod'ed it to:  chmod
777 drops).
I exited "make config", selecting the "save configuration file option.

Back in the l4 directory, I then typed in "make".  It ran for several
minutes, and finally failed trying to find an included file in a file named
generic_io.idl.  Shown below are the last several lines of make output
preceding and relating to this error:

-make[3]: Entering directory `/root/l4/pkg/generic_io/idl'
PWD=/root/l4/pkg/generic_io/idl/OBJ-x86-l4v2 make -C OBJ-x86-l4v2 -f Makefile
make[4]: Entering directory `/root/l4/pkg/generic_io/idl/OBJ-x86-l4v2'
 ... Generating generic_io-server.c
GENDEP_TARGET="generic_io-server.c generic_io-server.h
generic_io-client.c generic_io-client.h generic_io-sys.h"
GENDEP_BINARY=cpp0 GENDEP_DEPFILE=.generic_io.idl.d CC=gcc
../../../../tool/dice/src/dice -fl4types -fserver-parameter
-P-DL4API_l4v2 -P-I../../../../include/x86/l4v2
-P-I/root/drops/include/x86/l4v2 -P-I../../../../include/l4v2
-P-I/root/drops/include/l4v2 -P-I../../../../include/x86
-P-I/root/drops/include/x86 -P-I../../../../include
-P-I/root/drops/include -P-nostdinc -P-DOSKIT
-P-I../../../../../oskit10 -P-I../../../../../oskit10/oskit/c
-P-I/usr/lib/gcc-lib/i386-redhat-linux/3.3.3/include ../generic_io.idl
In file included from ../generic_io.idl:1:
dice/dice-corba-types.h:77:26: l4/sys/types.h: No such file or directory
could not preprocess input file "../generic_io.idl" (returned 256).
dice: 1 Error(s) and 0 Warning(s) occured.
make[4]: *** [generic_io-server.c] Error 1
make[4]: Leaving directory `/root/l4/pkg/generic_io/idl/OBJ-x86-l4v2'
make[3]: *** [OBJ-x86-l4v2] Error 2
make[3]: Leaving directory `/root/l4/pkg/generic_io/idl'
make[2]: *** [idl] Error 2
make[2]: Leaving directory `/root/l4/pkg/generic_io'
make[1]: *** [generic_io.headers] Error 2
make[1]: Leaving directory `/root/l4/pkg'
make: *** [pkg] Error 2
[root at localhost l4]#

I checked everything out of CVS on  2/27/2005, PST (i.e., Loa Angeles,
California, USA time), except for a recently modified copy of
oskit10/kern/x86/pc/i16/i16_real_int.S, which I retrieved on 3/7/05 at
about 9:00 P.M., PST (i.e., Los Angeles, California, USA via

   "cvs update"

I am using Fedora Core 2 Linux.  The following is the output from
"cat /etc/fedora-release":  Fedora Core release 2 (Tettnang)

The following is the output from "uname -a"

Linux localhost.localdomain 2.6.5-1.358 #1 Sat May 8 09:04:50 EDT 2004
i686 i686 i386 GNU/Linux

The following is the output from running oskit10/config.guess:

At the time I did all of these things, I was logged in as root, with
root privileges.

Any help / suggestions will be appreciated.  Thank you.

Dennis Newbold

More information about the l4-hackers mailing list