BRiX: Advanced Computing Environment :
- Fast, no-kernel, single address space, data-centric, preemptive multithreaded, persistent, secure, multi-user operating system, with Crush function-based programming safe-language. Some code available. [Open Source, Artistic]
BRiX: SourceForge :
- Fast, single privilege, single address space, preemptive multithreaded, persistent, data-centric, secure, multiuser OS, with safe language, reconfigurable graphical interface.
SPIN :
- Dynamically extensible, Exokernel-based, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive VM operations. Blurs distinction between kernels and applications, which traditionally live in user-level address spaces, separated from kernel resources and services by an expensive protection boundary. Lets applications specialize the kernel by dynamically linking new code into running systems.