13 sites in Java
E-Leos
Save
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/
JNode
Save
Goals: all Java OS, flat memory model, for personal use, simple to use and install, any Java applications to run on it fast and safe. Descriptions, documents, screenshots, downloads. Open Source, LGPL.
http://www.jnode.org/
JX Ltd.
Save
Makes 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 type safety of intermediate (byte)code. Open Source.
http://www.jxos.org/
Sanos
Save
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/
leJOS
Save
Tiny Java OS for Lego RCX brick. Like its predecessor TinyVM, has tiny Java runtime, under 32K; works as replacement firmware for Lego; Hitachi H8300 processor. To be ported to more small devices. [Open Source, Mozilla]
http://lejos.sourceforge.net/
See also