rCore OS

Combining Various Operating Systems Using Kernel Tangram Components