TUD:OS

TUD:OS
	Nitpicker secure window manager
Developer	Technische Universität Dresden
OS family	Unix-like real-time operating systems
Working state	Current
Source model	Open source
Latest release	Demo / March 3, 2006; 9 years ago
Available in	English
Platforms	IA-32
Kernel type	Microkernel
Default user interface	Graphical user interface (Nitpicker)
License	GNU General Public License
Official website	demo.tudos.org

TUD:OS is a microkernel based operating system from the Dresden University of Technology. TUD:OS runs on IA-32 machines and offers a desktop interface.

Features[edit]

A new secure window manager.
Multiple virtualized Linux kernels running deprivileged on the L4/Fiasco microkernel.
A secure transaction application.
Available for free download.
Licensed under the GNU General Public License.