Processor compatibility

Stefan Kalkowski stefan.kalkowski at genode-labs.com
Wed Jan 26 10:44:01 CET 2011


Hello Jason,

> do pistachio have support for ARM processor (particular ARM9)

To answer your question, Pistachio can be used on x86 CPUs (and
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




More information about the l4-hackers mailing list