L4Ka::Pistachio for SPARC?

Farid Hajji <[email protected]> Sun, 6 Feb 2011 12:34:01 +0100
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Hello,

has anybody ported L4Ka::Pistachio to the SPARC architecture,
or currently planning to work on it?

There was a SPARCv9 section in an old version of the X.2 spec:
  http://l4hq.org/docs/manuals/l4-x2-r5.pdf
so at least there were some plans in the past to port L4 to SPARC.

TIA,
-Farid.