OKL4 compilation problem

Frank Kaiser frank.kaiser at ...24...
Mon Sep 20 18:12:43 CEST 2010

Hello, Janith


First, you should have sent this request to the OKL4 mailing list, since
your problem is related to the OKL4 kernel compilation, but not to the
Genode Framework build.

Second, the error message "sh: i686-unknown-linux-gnu-gcc: command not
found" gives an unambiguous statement about your problem: the build
script does not find the compiler you have instructed it to use by
giving the option "toolprefix=i686-unknown-linux-gnu-". Even if you are
a newbie you should be able to sort out this kind of problems by
yourself before bothering hundreds of people on a mailing list!




From: Janith Widarshana [mailto:e06widu at ...9...] 
Sent: Monday, September 20, 2010 6:02 PM
To: Genode OS Framework Mailing List


hi all,
I'm new to okl4.When I Compile the kernel by invoking the python script
that can be found in the tools directory of the OKL4 source tree I got
following error. 
Is that a problem with my processor architecture? 
please some one help me for this.

okl4_2.1.1-patch.9$ ./tools/build.py project=l4test machine=ia32_pc99
scons: Reading SConscript files ...
architecture ia32 is not yet supported by libcompat.
architecture ia32 is not yet supported by libcompat.
scons: done reading SConscript files.
scons: Building targets ...
[ASM ] build/pistachio/object/pistachio/tcb_layout.s
sh: i686-unknown-linux-gnu-gcc: command not found
scons: *** [build/pistachio/object/pistachio/tcb_layout.s] Error 127
scons: building terminated because of errors.

Janith Widarshana.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20100920/68f4f392/attachment.html>

More information about the users mailing list