CAmkES: component-based development for L4

NICTA is happy to announce the first open source release of CAmkES.

CAmkES provides an easier way to develop OKL4-based software and  
systems.

It is a component-based software development and runtime framework  
for OKL4, allowing microkernel-based systems to be modelled and built  
as a set of interacting software components. These software  
components have explicit interaction interfaces and a system design  
that explicitly details the connections between the components.

The development framework provides:
* a language to describe component interfaces, components, and whole  
component-based systems;
* a tool that processes these descriptions to combine programmer- 
provided component code with generated scaffolding and glue code to  
build a complete, bootable, system image;
* full integration in the OKL4 environment and build system.

Find out more about CAmkES, download it, and try it out here:

http://www.ertos.nicta.com.au/software/camkes/


On behalf of the CAmkES team,

Ihor

-- 
Ihor Kuz
Senior Researcher

NICTA | Locked Bag 6016 | UNSW, Sydney NSW 1466
T + 61 2 8306 0582 | F +61 2 8306 0406
www.nicta.com.au l [email protected]