L4 Microkernel To Support Cortex-A9 Quad Core CPUs

Codezero microkernel developers announced support for the quad core Cortex-A9 processors in their recently released v0.3 kernel. Codezero is an open source L4 microkernel variant written in C that evolves the L4 API for security and virtualization purposes. With the recent announcement Codezero team is probing the possibility of having their microkernel as an open source option for enabling virtual rooms of execution on high-end, multi-core mobile platforms. Cortex-A9 is the latest flagship product of ARM plc UK. With its unbeatable performance to power ratio, it is known as the biggest rival of Intel Atom line of cpus on the mobile cpu arena.


  1. 2010-03-26 1:59 am
    • 2010-03-26 10:43 am
    • 2010-03-26 6:56 pm
    • 2010-03-26 6:59 pm
  2. 2010-03-26 6:47 am
  3. 2010-03-26 7:43 am
  4. 2010-03-26 9:25 am