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.
Hello,
OKL4 has ARM support.
http://wiki.ok-labs.com/Microkernel
http://wiki.ok-labs.com/MicrokernelRegards, Marc
2011/1/26 Stefan Kalkowski stefan.kalkowski@genode-labs.com
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
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers@os.inf.tu-dresden.de