Es wird sicher noch einige Zeit vergehen, bis das Mirage OS reif für den Echtwelteinsatz ist. Eine günstigere Prognose ist vermutlich dem OSv beschieden, das sich weniger weit weg vom Mainstream bewegt, aber trotzdem einen neuartigen Ansatz verfolgt, der interessant erscheint. Mindestens diese beiden Beispiele zeigen aber, dass durch die immer weitere Verbreitung von Virtualisierungstechnologie auch Türen aufgestoßen werden, die neue Perspektiven im Bereich der Systemprogrammierung eröffnen.
Infos
Der formal verifizierte Microkernel seL4 wurde jetzt unter einer Open-Source-Lizenz veröffentlicht.