Modular object-oriented application to index files across networks. Has plug-in type data retrieval system, webserver, peer-to-peer connections for network-wide information gathering, retrieval; has features of OSs, database management systems, distri...
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]
Lightweight, very modular component-based, multitasking, embedded OS; developed, used for many research projects. Goal: manage fast data streams in multimedia environments; for speed and low overhead has zero copy architecture: passes pointer referenc...
Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can...
Component-based OS, runs natively on i80386+ based PCs. Has novel protection mechanism allowing more OS decomposition and high performance: protection overheads almost 1, 000 times less than normal OSs. [Open Source, GPL]
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]
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.
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 safet...
Modern object-orientated microkernel, focus: flexibility and functionality, instead of speed and compatibility. Coded in C. Description, downloads. [Open Source, GPL]