Pistachio for ARM?
Anna Fischer <[email protected]> Tue, 21 Jun 2011 15:56:34 +0100
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <1308668194.8575.31.camel@fischer-a-ws2> |
It seems as if the latest L4Ka::Pistachio microkernel does not support the ARM architecture? While http://l4hq.org/arch/arm/ says it actually does? Is that just because older versions supported some ARM platforms? Thanks, Anna