TU Dresden veröffentlicht Live-CD mit Mikrokernel

TUD:OS Die Demo-CD soll den derzeitigen Stand der Arbeiten präsentieren und zeigen, was im Rahmen der Entwicklung realisiert wurde. TUD:OS basiert auf dem L4/Fiasco-Mikrokernel, der für das Echtzeitbetriebssystem der TU programmiert wurde. Als Ergänzung dazu wurde L4Linux entwickelt, eine Portierung des Linux-Kernels auf L4. Damit können verschiedene Linux-Instanzen gestartet und somit Linux-Applikationen unter TUD:OS ausgeführt werden.

TUD:OS kann außerdem Treiber anderer Betriebssysteme nutzen, wodurch die Entwickler sich nicht selbst mit der Treiberprogrammierung beschäftigen mussten. Hierfür werden so genannte Device Driver Environments (DDE) genutzt, die TUD:OS die Funktionen des Treibers zur Verfügung stellen. Die Live-CD nutzt beispielsweise den Treiber aus FreeBSD, um auf IDE-Geräte zuzugreifen.

TUD:OS Mit L4VFS wird zudem ein POSIX-kompatibles Dateisystem eingesetzt. Mit Nipticker liegt eine grafische Oberfläche bei, unter der Qt-3-Applikationen gestartet werden können. Weiterhin bietet TUD:OS einen Trusted-E-Commerce-Client, der in einer sicheren Umgebung läuft und Transaktionen über ein mit SSL gesichertes Protokoll ausführt.

Die TUD:OS-CD kann ab sofort heruntergeladen werden, dabei stehen auch Konfigurationsdateien für VMware 4 und 5 sowie den VMware Player zur Verfügung.