Exokernel

Keywords: Exokernel, MIT, OpenBSD

El exokernel es un sistema creado con fines de investigación en el Instituto Tecnológico de Massachusetts (MIT) sobre OpenBSD. Su propósito es crear como una capa de software para otros sistemas virtuales.

Consta de 3 capas, la capa del Exokernel, la capa LibOS (núcleos de varios Sistemas Operativos corriendo sobre Exokernel) y la capa de aplicaciones, corriendo sobre LibOS.

El sistema es realmente robusto y flexible, debido a que la única tarea del Exokernel, es impedir que tengan errores de permisos al hardware y conflictos entre los LibOS. Ejemplo de este diseño se encuentra en ExOS y Extended OpenBSD.

Créditos: http://www.bsdcoders.org/~cesar/docum/osdb.html#s1-1-3