Nemesis - An operating system with principles. All-new lightweight kernel OS; focus: support time-sensitive uses needing consistent Quality of Service (QoS)
The Grand Unified Theory of Address Spaces - One of many reports available on a list of publications from Grasshopper OS. Scroll down to mid-page. Explains rationale and design approach for SASOSs. Abstracts
Torsion - Multitasking SASOS with transparent data persistence: users and application programmers need not know or care that system memory is transient and must be written to disk to persist across reboots