RE: l4ka:: pistachio CVS source not directly usable ?

Hello Prem,

You're right, L4ka:Pistachio is not much tested on architectures other than
x86 and x64. Nobody in Karlsruhe's currently working on those platforms,
actually. Development on embedded architectures is mostly done in Sydney, at
UNSW/Nicta/OK, and based on their own kernels and repositories. FYI, we are
therefore currently consolidating our L4Ka based implementation into a
Mercurial repository (see http://l4ka.org/projects/pistachio/download.php),
stripping out the architecture ports not supported or maintained by
Karlsruhe. The ARM port falls under that category, too.


Regards,
-Jan


--
Jan Stoess
Lehrstuhl Systemarchitektur
Universitaet Karlsruhe