Traditional OSs limit application performance, flexibility, functionality by fixing interfaces and implementations of OS abstractions such as interprocess communication and virtual memory. Exokernel address this via application-level management of phy...

From Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, USA, October 1992.

Ion is a key concept in the design of Harmony programs. The only interface to a task instance, once created, is message passing. Access from the outside is permitted only when a task explicitly performs a Receive operation.

A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex]

This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex]

Eumel and successor L3, OSs made by GMD, have been used for 13 and 4 years respectively, for production in business, education. Over 2000 Eumel, 500 L3 have shipped since 1979, 1988. Both rely on persistence, with fault-surviving. Description, links. ...

Describes aspects of PURE Project, a small object-oriented portable, universal runtime executive (operating system) for deeply embedded parallel/distributed systems. [ResearchIndex]

Project goal: provide a portable, universal runtime executive for deeply embedded parallel distributed systems. Deeply embedded means systems that have extreme resource constraints in memory, CPU, and power use. [ResearchIndex]

Feldman 1979 - The original make paper, including makefile syntax, implicit rules, double colon targets, macros, VPATH macro, and the usual cleanup and install targets.

Schönherr and Wolff 1998 - A set of makefile dependency generator tools for working with files written in Knuth's Literate Programming style.