Processor compatibility

Marc Mauri Alloza marcmaurialloza at gmail.com
Wed Jan 26 11:08:30 CET 2011


Hello,

OKL4 has ARM support.

http://wiki.ok-labs.com/Microkernel

<http://wiki.ok-labs.com/Microkernel>Regards,
Marc

2011/1/26 Stefan Kalkowski <stefan.kalkowski at 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 at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20110126/0511f12a/attachment.html>


More information about the l4-hackers mailing list