[okl4-developer] Few questions on L4.

[Hal Ashburner]

On Thu, 2007-09-20 at 06:51 +0530, jothi vasudevan nathella vijayakumar
wrote:
> Hi Hal,
> I am not quite clear of what you meant about the first step (1. Build
> the simulate target and ensure that works), can you please explain
> more.  Thanking you.

$ ./tools/build.py machine=ia32_pc99 project=iguana wombat=True
toolprefix=i686-unknown-linux-gnu- simulate

Ensure this build line builds to completion and starts simulating in
qemu. You should get a linux shell prompt if it's working.


> ----- Original Message ----
> 4. Steps to follow to install OKL4 or L4Ka::Pistachio on PC.
> 1. Build the simulate target and ensure that works.
> 2. Install an old version of debian linux on a pc. (A version that
> works
> without nptl which is unsupported in that public release.)
> 3. copy image.elf and the relevant grub files out of the /boot in the
> resultant c.img into the /boot directory on your pc.
> move /lib/tls out of the way (to /lib/tls.bak or similar)
> 4. reboot.