AWhat changed
Proposed secure resource multiplexing by a minimal kernel with abstractions in library operating systems.
Scientific scope
The record is the exact three-author 1995 SOSP paper. It does not absorb every Xok or ExOS contributor, later exokernel systems, unikernels or performance beyond the reported prototypes and workloads.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact three-author 1995 SOSP paper. It does not absorb every Xok or ExOS contributor, later exokernel systems, unikernels or performance beyond the reported prototypes and workloads.
Contributors
- Dawson R. Engler · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- M. Frans Kaashoek · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- James W. O'Toole Jr. · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction