| | - Dresden Realtime Operating System
The Dresden RealTime Operating Systems Project is a research project aiming at the support of applications with Quality of Service requirements.Although much research has been done on networking support for continuousmedia applications, very few proj ...
http://os.inf.tu-dresden.de/drops/overview.html
|
| |
- Darbat L4
The L4Darwin project is an experimental port of Darwin to the L4 microkernel to study the characteristics of a largescale microkernelbased system. It includes a port of IOKit to L4, a modified libc to communicate with the Darbat Server, and of course ...
http://ertos.nicta.com.au/software/darbat/
|
| |
|
- The Perseus
Most of the currently used computing platforms lack elemental security properties, such as integrity checks keyword: secure booting, the generation of secure cryptographic keys using appropriate random number generators, or the realiable enforcement ...
http://www.perseus-os.org/
| | |
| |
- The Virtualised OS
A port of linux to run on top of L4Iguana. This package is not really intended to be used standalone. It is best to download it as part of the Iguana project. ...
http://ertos.nicta.com.au/software/kenge/wombat/latest/
|
| |
- L4Ka Microkernel
The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms .Its official name is now L4Ka Hazelnut. ...
http://sourceforge.net/projects/l4ka/
| | - The Fiasco
This release fixes many bugs, a few features have been added as well. For a list of changes please consult the CHANGES file. Get the package from the download directory or from CVS. Refer to the README file for further information. ...
http://os.inf.tu-dresden.de/fiasco/
|
| |
- L4 Microkernel
The L4 microkernel was developed and implemented on ix86 platforms by Jochen Liedtke, then at GMD, Germany. Liedtke continued development of the Intel version of L4 while at IBM TJ Watson Research Center and later at the University of Karlsruhe. ...
http://www.cse.unsw.edu.au/~disy/L4/
| | - The L3L4 Microkernel Family
This site contains information on the L4 µkernel API and the various implementations of this API. It also contains some legacy information about the L3 µkernel and operating system. ...
http://os.inf.tu-dresden.de/L4/
|
| |
- The L4Ka Project
Microkernels are minimal but highly flexible kernels. Both conventional and nonclassical operating systems can be built on top or adapted to run on top of them. Microkernelbased architectures should particularly support extensibility and customizabil ...
http://l4ka.org/
| | |
| |
