What is TUDOS

From TUDOS-Wiki

TUD:OS is the operating system project at TU Dresden.

It's basis is the L4Re microkernel system.