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!

Regards

Frank

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

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 toolprefix=i686-unknown-linux-gnu-
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.

Thanx.
Janith Widarshana.