[okl4-developer] Few questions on L4.

[Jay Nathella vijayakumar]

Hi Hal,
Thank you Hal. I will follow your steps for installation and get back to
you.
Kind regards,
jothi

Quoting Hal Ashburner <hala at ok-labs.com>:

> 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
>
>