8 Ergebnisse für: l4linux
-
-
The Performance of µ-Kernel-Based Systems
http://os.inf.tu-dresden.de/pubs/sosp97/
1st-generation microkernels have a reputation of being too slow and too inflexible. This paper shows that 2nd-generation microkernels such as L4 have overcome these limitations.
-
DROPS
http://os.inf.tu-dresden.de/drops/
DROPS: overview, status, download, installation, use, documentation, papers
-
The L4 microkernel family
http://os.inf.tu-dresden.de/L4/
The L3 and L4 microkernels: overview, status, download, installation, use, documentation
-
L4 (Mikrokern) | Software-Wiki | FANDOM powered by Wikia
http://de.software.wikia.com/index.php?title=L4_(Mikrokern)
L4 ist der Name einer Familie von Mikrokernen, basierend auf Konzepten und ersten erfolgreichen Implementierungen von Jochen Liedtke (daher L4). Inhaltsverzeichnis[Anzeigen] Entwicklung Der erste L4-Kern wurde von Liedtke am GMD-Forschungszentrum…
-
The L3 operating system
http://os.inf.tu-dresden.de/L4/l3.html
The L3 operating system: overview, status, download, installation, use, documentation
-
The L3 operating system - ELAN
http://os.inf.tu-dresden.de/L4/l3elan.html
The L3 operating system: the ELAN programming language
-
Hochsicherheitshandy der Telekom erhält BSI-Zulassung | Deutsche Telekom
http://www.telekom.com/medien/loesungen-fuer-unternehmen/200140
Medieninformation: Hochsicherheitshandy der Telekom erhält BSI-Zulassung