Steps to build okl4 3.0 for arm-versatile:
Please Note: We will not build cross compilers, we are using prebuild binaries as given below.

Downloads:
1. % mkdir -p /opt/okl4/archieves
	this will be used for keeping archieves

2. Download following tar balls from http://wiki.ok-labs.com/downloads/release-3.0 and save in /opt/okl4/archieves 
	a. okl4_3.0.tar.gz			# okl4 microkernel
        b. oklinux_2.6.24.9-patch.4.tar.gz	# virtualized linux 
        c. qemu-okl.0.9.1.tar.gz 		# this is custom qemu for okl4

3. Download nicta tool chain(equivalent of arm-none-eabi in codezero) tarball(arm-linux.3.4.4.tar.gz)from http://ertos.nicta.com.au/downloads/tools. Save it to archieves folder.

4. Download cross compiler tool chain(equivalent of arm-none-linux-gnueabi in codezero) tarball(arm-linux-gnueabi-4.2.4.tar.gz) from http://wiki.ok-labs.com/. Save it to archieves folder.

Building:
Please Note: gcc-3.4 is used for building here, gcc-4.2 and 4.3 was giving errors.
please Note: python 2.4 needs to be present on the system.

1. % mkdir /opt/okl4/build
   % mkdir -p /opt/okl4/build/result_top/gcc-4.2.4-glibc-2.7

2. % cp /opt/okl4/archieves/arm-linux-gnueabi-4.2.4.tar.gz /opt/okl4/build/result_top/gcc-4.2.4-glibc-2.7/arm-linux-gnueabi-4.2.4.tar.gz
   % cd /opt/okl4/build/result_top/gcc-4.2.4-glibc-2.7
   % tar -xvf arm-linux-gnueabi-4.2.4.tar.gz
   % rm arm-linux-gnueabi-4.2.4.tar.gz

3. make a symlink named "arm" for /opt/okl4/build/result_top at /opt/okl/Linux-i386/arm

4. % cp /opt/okl4/archieves/arm-linux.3.4.4.tar.gz /opt/okl4/build/arm-linux.3.4.4.tar.gz
   % cd /opt/okl4/build
   % tar -xvf arm-linux.3.4.4.tar.gz
   % rm arm-linux.3.4.4.tar.gz

5. update path with PATH=$PATH:/opt/okl4/build/opt/nicta/tools/gcc-3.4.4-glibc-2.3.5/arm-linux/bin 

6. % cp /opt/okl4/archieves/okl4_3.0.tar.gz /opt/okl4/build/okl4_3.0.tar.gz
   % cd /opt/okl4/build
   % tar -xvf okl4_3.0.tar.gz
   % rm okl4_3.0.tar.gz

7. % cp /opt/okl4/archieves/oklinux_2.6.24.9-patch.4.tar.gz /opt/okl4/build/oklinux_2.6.24.9-patch.4.tar.gz
   % cd /opt/okl4/build
   % tar -xvf oklinux_2.6.24.9-patch.4.tar.gz
   % rm oklinux_2.6.24.9-patch.4.tar.gz

8. make a symlink named "linux" for /home/amit/Desktop/opt/okl4/build/oklinux_2.6.24.9-patch.4 at /home/amit/Desktop/opt/okl4/build/okl4_3.0

9. % cd  /home/amit/Desktop/opt/okl4/build/okl4_3.0
   % tools/build.py machine=versatile project=linux wombat=true TOOLCHAIN=gnu_arm_eabi_toolchain pistachio.TOOLCHAIN=gnu_arm_toolchain PYFREEZE=False 		kdb_serial=True KDB_BREAKIN=False 

	this should compile microkernel as well as linux.


Running:

1. % cp /opt/okl4/archieves/qemu-okl.0.9.1.tar.gz /opt/okl4/build/qemu-okl.0.9.1.tar.gz
   % cd /opt/okl4/build
   % tar -xvf qemu-okl.0.9.1.tar.gz
   % rm qemu-okl.0.9.1.tar.gz

2. % cd /opt/okl4/build/qemu-okl.0.9.1.tar.gz
   % ./configure --prefix=/opt/okl4/build/qemu_build --target-list=arm-softmmu --disable-sdl --static --disable-gfx-check
   % make
   % make install

    update path with PATH=$PATH:/opt/okl4/build/qemu_build
   Please check: Now if you use qemu this qemu should be used, not some earlier installed versions.

3.  % cd  /home/amit/Desktop/opt/okl4/build/okl4_3.0
    % qemu-system-arm -M versatileab -start-addr 0x04100000 -nographic -kernel build/image.elf
	this ould run l4 microkernel and linux with qemu


For more details, please go through http://wiki.ok-labs.com/forum#nabble-td2197248.