Re: Pistachio for ARM?

Hello,

> ARM support has been discontinued. UNSW had maintained Pistachios ARM
> ports back then, and when they decided to fork NICTA::L4-embedded,
> nobody really took care of Pistachios ARM ports anymore. Contact me,
> however, if you like to resurrect the code, should still be in some
> CVS.

the code is actually part of Pistachio's Mercurial repository:

  http://hg.l4ka.org/l4ka-pistachio/rev/1b4e2d3551d5

It would be nice to see the code resurrected since the open-source
development of Nicta::L4-embedded has been abandoned years ago.

Cheers
Norman