Hello Jason,
To answer your question, Pistachio can be used on x86 CPUs (and
> do pistachio have support for ARM processor (particular ARM9)
PowerPC), not on ARM (anymore). In general, you can find such
information on the official pistachio website:
http://www.l4ka.org/projects/pistachio/
or
http://www.google.com/search?q=l4+pistachio
the first hit ;-)
regards
Stefan
PS: At the bottom of that page you can find a link to the official
Pistachio mailing-list.
--
Stefan Kalkowski
Genode Labs
http://www.genode-labs.com/ · http://genode.org/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers