| 4 - JX Group |
| |
JX OS: set of Java components executes on core doing system initialization, CPU context switching, low-level domain management; code organized as components loaded into domains, verified, translated to native code; protection based on only type safety of http://www.jxos.org/ |
|
| [more pages from this URL]
|
|
| 5 - Sanos |
| |
Minimal OS kernel for PC based server appliances. Lets you run java server applications without need to install host OS, only need normal Java HotSpot VM and Sanos. Description, documents, downloads, manifesto, links, contact. [Open Source, BSD] http://www.jbox.dk/sanos/ |
|
| [more pages from this URL]
|
|
| 9 - E-Leos |
| |
Typed OS to very securely execute programs, which can only manipulate defined type variables, not memory spaces; avoids many problems caused by programming in languages such as C. French initiative, binary fits one floppy disk. [Open Source] http://leo.e-leos.net/ |
|
| [more pages from this URL]
|
|
|