ARM Port of L4/Linux?

[Harvey Tuch]

On 4 Jun 2004, at 3:51 AM, Yann Dirson wrote:

> Hi Dave,
>
> You'll find more info about L4 for various archs on
> http://os.inf.tu-dresden.de/L4/impl.html
>
> L4Ka::Pistachio is also told to work on ARM, but not the 0.3 release 
> AFAIK -
> see http://l4hq.org/arch/arm/
>
>

The upcoming Pistachio 0.4 release (should be out in a couple of days) 
will contain the ARM port, and it is also available in CVS currently - 
see the instructions at
http://www.l4ka.org/download/.

Cheers,
Harvey
-- 
Harvey Tuch                        School of Computer Sci. & Eng.
PhD Student                        The University of NSW
Phone: +61 2 9385 7359             UNSW SYDNEY NSW 2052, Australia
Fax:   +61 2 9385 7942             http://www.cse.unsw.edu.au/~htuch