LinuxInfoTag   Dresden 2003

L4, L4Linux

Oliver Stecklina

Inhalt

L4 beschreibt eine Gruppe von Mikrokernen der zweiten Generation, L4Linux ist eine Portierung von Linux auf die L4 Mikrokernschnittstelle. Der Vortrag gibt einen Überblick über die Arbeit der Betriebssystemgruppe der TU Dresden und deren DROPS Projekt. Es wird insbesondere auf die Konzepte hinter L4 sowie auf L4Linux eingegangen.

Folien

• http://www.stecklina-net.de/~ost/arbeiten/paper/linuxInfoTag-08-03.pdf