I would like to announce that Codezero v0.3 release is out and we have added support for ARMv7 architecture and SMP Cortex-A9 cpus in this release.
The ARMv7 support has been tested on a Versatile Express Cortex A9 platform which contains four cores. Beagleboard support is also going to be available soon - due to omap3 non-conformity to ARMv7 a few issues left for fixing.
Finally, we have preliminary support for the Genode OS Framework from Genode labs. We are improving on this and plan to show a demo of their application stack in multi-core expo next month:
I would be happy to demo the software to anyone attending.
Вот ссылочка: http://l4dev.org/news