TUD:OS
Encyclopedia
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.
Microkernel
In computer science, a microkernel is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system . These mechanisms include low-level address space management, thread management, and inter-process communication...
based operating system
Operating system
An operating system is a set of programs that manage computer hardware resources and provide common services for application software. The operating system is the most important type of system software in a computer system...
from the Dresden University of Technology
Dresden University of Technology
The Technische Universität Dresden is the largest institute of higher education in the city of Dresden, the largest university in Saxony and one of the 10 largest universities in Germany with 36,066 students...
. TUD:OS runs on IA-32
IA-32
IA-32 , also known as x86-32, i386 or x86, is the CISC instruction-set architecture of Intel's most commercially successful microprocessors, and was first implemented in the Intel 80386 as a 32-bit extension of x86 architecture...
machines and offers a desktop interface.
Features
- A new secure window manager.
- Multiple virtualized LinuxLinuxLinux is a Unix-like computer operating system assembled under the model of free and open source software development and distribution. The defining component of any Linux system is the Linux kernel, an operating system kernel first released October 5, 1991 by Linus Torvalds...
kernels running deprivileged on the L4L4 microkernel familyL4 is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other systems.L4 was a response to the poor performance of earlier microkernel-base operating systems...
/Fiasco microkernel. - A secure transaction application.
- Available for free download.
- Licensed under the GNU General Public LicenseGNU General Public LicenseThe GNU General Public License is the most widely used free software license, originally written by Richard Stallman for the GNU Project....
.