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/
HTH,
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
l4-hackers@os.inf.tu-dresden.de