E (programming language)
Top View
- From L3 to Sel4 What Have We Learnt in 20 Years of L4 Microkernels?
- Download This Presentation
- Survey Paper on Google's New Fuchsia OS
- A Heterogeneous Microkernel OS for Rack-Scale Systems
- Tahoe-LAFS Documentation Release 1.X
- Microkernel Construction Introduction
- The Sel4 Microkernel an Introduction
- Side Effect and Purity Checking in Java: a Review
- Hardware-Supported Virtualization for the L4 Microkernel
- Sel4 Whitepaper [Pdf]
- The Hydra System
- Communication in Microkernel-Based Operating Systems
- Navigating the Attack Surface
- Joe-E: a Security-Oriented Subset of Java
- Fast and Secure Inter-Process Communication for Microkernels
- Microkernel Construction Introduction
- The Intel Iapx 432
- Policy/Mechanism Separation in Hydra