Personal Operating Systems

• TUNES Group Members
  Tunes is a project to replace existing Operating Systems, Languages, and User Interfaces by a completely rethough Computing System, based on a correctness-proof-secure higher-order reflective self-extensible fine-grained distributed persistent fault-tolerant version-aware decentralized (no-kernel) object system. We want to implement such a system because we know all these are required for the computing industry to compete fairly, which is not currently possible. Even if Tunes itself does not become a world-wide OS, we hope the TUNES experience can speed up the appearance of such an OS that would fulfill our requirements.
• VSTa
  VSTa is an experimental kernel which attempts to blend the design of a micro-kernel with the system organization of Plan 9. The result is a small privileged kernel running user-mode tasks to provide system services such as device drivers, file systems, and name registry. Like Plan 9, each service provides a file system-like interface.