[okl4-developer] Few questions on L4.

[Hal Ashburner]

On Fri, 2007-09-14 at 10:09 +1200, Jay Nathella vijayakumar wrote:
> 
> Hi All,
Hi jothi

> 1.  Has anyone implemented the interface on SPARC V9 and is there working
> source is available?
We don't support sparc.

> 2. What are the supporting architectures of L4?
In the current public release of OKL4, arm and x86 only.

> 3. Any L4 Source code documentations or any documentation on which will
> help me?
We have a detailed programming manual.
http://portal.ok-labs.com/_assets/downloads/okl4-progmanual.pdf

> 4. Steps to follow to install OKL4 or L4Ka::Pistachio on PC.
> Thanking you
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.

You will need to attach to the pc via serial, the linux device drivers
are not working in that release.

-- 
Kind regards,
Hal Ashburner