L4 Microkernel To Support Cortex-A9 Quad Core CPUs

ffxz

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.

ffxz

Codezero是继L4 Pistachio微内核实现的下一个活跃的L4微内核实现，主要面向ARM市场，v0.3开始支持SMP Cortex-A9多核心。

道听途说的几个L4分支开发人员情况：
OKLabs公司，不超过20人（销售员工不计算在内）
UNSW，可以从照片上面数出这个小组的规模，不会超过30人。
TU-Dresden，PHD学生+Doctors 不会超过20人
Karlsruher，这里我想专职的pistachio人数不会超过10人。
Genode，目前应该只有3个人
Codezero的老大比较强，单干，给他算一个团队，不会超过3个人。

Codezero的开发人员主要是：Bahadir Balban