Na webu Technické Univerzity Dresden je ke stažení Demo CD operačního systému TUD:OS. Systém je založený na mikrokernelu L4/Fiasco a na jeho základech je možné spustit téměř libovolné množství virtualizovaných linuxů v závislosti na dostupných fyzických systémových zdrojích. Další zajímavostí je device driver environment (DDE), které je určitou mezivrstvou pro práci s konkrétním zařízením a umožňuje využít drivery z jiných operačních systémů. Pro podrobnosti doporučuji navštívit originální stránku Features Section.