TUD:OS

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

• 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.

External links

Read More