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