Hello L4 hackers, IDL4 is now available for download from the L4Ka home page. 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. Some features: o Supports CORBA IDL (recommended) and DCE IDL o Backends available for Hazelnut and Pistachio o Client stubs use CORBA C language mapping o Type import from C/C++ code o Modular design; easily extensible For more information please visit http://l4ka.org/projects/idl4/ - Andreas --- Andreas Haeberlen System Architecture Group, University of Karlsruhe, Germany haeberlen@ira.uka.de, phone: +49 (721) 608-4055