DICE Documentation Welcome DICE project documentation!

Goal of the DICE project is to build an IDL compiler, which can translate an interface definition of a component into communication code for L4 micro-kernels. These components (or servers if you like) run on top of the L4 micro-kernel and shall build the Dresden Real-Time Operating System (DROPS) - that's where DICE is derived from: DROPS IDL Compiler. It currently supports two IDL languages (DCE and CORBA IDL) and generates communication code for L4 version 2 compliant micro-kernels.

L4Ka - IDL4 Compiler IDL4 is a stub-code generator for the L4 platform. It generates communication stubs from interface definitions written in a specification language such as CORBA IDL or DCE IDL. It also uses knowledge about the hardware platform and the microkernel to optimize the performance of the generated code.

Features

* Supports CORBA IDL (recommended) and DCE IDL
* Backends available for Fiasco, Hazelnut and Pistachio
* Small component-based OS included as example code
* Client stubs use CORBA C language mapping
* Type import from C/C code
* Modular design; easily extensible