Mirage OS

Mirage is a programming framework for constructing secure, high-performance network applications across a variety of cloud computing and mobile platforms.