Re: ARM Port of L4/Linux?

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