The TUD:OS operating system is a L4 microkernel based operating system, with good real-time and security properties, developed at the TU Dresden.
The microkernel approach allows it to to reduce the trusting computing base by running small trusted applications side by side with non-trusted applications, all as unprivileged user mode applications.
Further, it is possible to run real-time applications side-by side with non real-time applications.
Also device driver run in user-mode and thus a crash of a device driver will not lead to an whole system crash and in the best case the driver can be restarted and the system will keep on running.
While offering the above mentioned vantages, TUD:OS still offers a familiar environment by the possibility to run one or more instances of L4Linux. L4Linux is a Linux port the Fiasco microkernel which is binary compatible to native Linux but runs in deprivilieged usermode.
Briefly: A fundament to build embedded [realtime] systems [with a exceptionally small trusted computing base]. Further a possibility to run multiple virtualized linux instances on the beagleboard. A good documentation how to build such systems. And last but not least a (hopefully cool ;) demo showing that it acutally works. Note: this project is not an official project of the TU-Dresden.