Posted Feb 25, 2013 21:15 UTC (Mon) by khim (subscriber, #9252)
[Link]
I'm not all that sure Cortex-A15 has fast switching. Previous cores were a joke speed-wise (and even Cortex-A15 is not all that fast: it's fair competitor is Atom, not Core i7). We'll see if it'll retain this advantage in the future when ARM will become comparable in speed to something from AMD, Intel, or IBM.
Microkernels are better
Posted Feb 25, 2013 22:50 UTC (Mon) by Cyberax (✭ supporter ✭, #52523)
[Link]
I think it has, but it's not used that much because it's not compatible with Linux process model. L4 kernel can use it, though.
It will get more and more complicated as the speeds go up, but it might be actually still feasible.