The Open Trusted Computing (OpenTC) project is an EU-funded, R&D project focusing on the development of trusted and secure computing systems based on open source software. The project targets traditional computer platforms as well as embedded systems such as mobile phones.

The DICE project is an IDL compiler, which translates interface definitions of components 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: Dresden IDL Compiler. It currently supports two IDL languages (DCE and CORBA IDL) and generates communication code for L4 versions L4.Fiasco and V2.

Package intended to be used in OpenTC project of VDC Demo.

Prior to L4Env, most L4 applications had their very own idea about the environment (libraries, interfaces and so on) in which they were executed. Almost every programmer had his own set of libraries he used to build his applications, which resulted in huge problems if someone tried to combine components developed by different authors. Frequent problems were conflicting implementations of common functions (like printf) or conflicts caused by the lack of a central management of resources like threads or virtual memory.

The intention of L4Env is to define a set of functions which describe a minimal environment. This minimal environment is available for every L4 application. Hence, all applications and especially all libraries can use these functions. Libraries which are intended to be used by many different applications should only use these functions to avoid dependencies to other libraries.

L4Env also decreases the dependencies to a certain L4 API or hardware architecture, making applications more portable.

This program is a preprocessor for C++ modules. With this tool, you
write unit-style single-source-file modules in C++ (e.g., foo.cpp),
from which the tool extracts three C++ source files that can then be
processed using the standard C++ compiler toolchain.

Required for building Fiasco.

The Open Trusted Computing (OpenTC) project is an EU-funded, R&D project focusing on the development of trusted and secure computing systems based on open source software. The project targets traditional computer platforms as well as embedded systems such as mobile phones.

Subproject for 10.3-based prototype

This program is a preprocessor for C++ modules. With this tool, you
write unit-style single-source-file modules in C++ (e.g., foo.cpp),
from which the tool extracts three C++ source files that can then be
processed using the standard C++ compiler toolchain.

Required for building Fiasco.