[okl4-developer] Linux kernel build errors

[Geoffrey Lee]

On Thu, Jul 24, 2008 at 08:18:31AM +0100, G S Madhusudan wrote:
> Arch is standard PC99.
>
> Parent directory is called okl4
>
> Dir tree under that is
>
> arch default.lds l4test oklinux_2.6.23.24.tar platform run
> build drivers libs projects
> cust iguana linux pistachio README tools
>
> linux source is in the linux directory
>
> Build string is
>
> ./tools/build.py project=iguana machine=ia32_pc99 wombat=yes simulate  
> ENABLE_DEBUG=False


I unzipped a fresh copy of the source tree for both OKL4 and OK Linux
and I used your command line and I was able to build a bootable 
image.