EbbRT : Elastic Building Block Runtime-overview Schatzberg
A virtualized separation kernel for mixed criticality systems