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
ihor.kuz@...