A virtualized separation kernel for mixed criticality systems
virtio: towards a de-facto standard for virtual I/O devices