Microkernel

The Fiasco microkernel - Overview

http://os.inf.tu-dresden.de/fiasco/

The Fiasco microkernel: overview

Prinzessin auf der Erbse - iX 01/1997 direkt im heise shop

https://shop.heise.de/katalog/prinzessin-auf-der-erbse

Prinzessin auf der Erbse: iX 01/1997, S. 94 | Linux-Portierung auf den Mikrokern L4 | Microkernel Linux L4, TU Dresden

Microkernel seL4: beweisbar fehlerfrei | heise online

https://www.heise.de/newsticker/meldung/Microkernel-seL4-beweisbar-fehlerfrei-2277750.html

SeL4 soll laut den Entwicklern der erste Allzweck-Kernel sein, dessen Korrektheit formal bewiesen ist. Der Microkernel läuft auf ARM- und x86-Hardware.

The L4 microkernel family

http://os.inf.tu-dresden.de/L4/

The L3 and L4 microkernels: overview, status, download, installation, use, documentation

GNU Hurd 0.7 erschienen - Pro-Linux

http://www.pro-linux.de/news/1/22925/gnu-hurd-07-erschienen.html

Das GNU-Projekt hat Version 0.7 des freien Unix-ähnlichen Kernels Hurd freigegeben. Er läuft auf dem Microkernel GNU Mach, der gleichzeitig in Version 1.6 erschienen ist.

Zephyr: Linux-Foundation startet Projekt für IoT-Betriebssystem ohne Linux | heise online

https://www.heise.de/newsticker/meldung/Zephyr-Linux-Foundation-startet-Projekt-fuer-IoT-Betriebssystem-ohne-Linux-3109906.html?

Zephyr ist ein Open-Source-Betriebssystem für das Internet of Things. Statt eines Linux-Kernels nutzt es eine echtzeitfähige Kombination aus Nano- und Microkernel, die Wind River beigesteuert haben.