¿Qué es un ‘unikernel’? [ENG]

Un unikernel es una imagen binaria especializada de un kernel que funciona sin memoria virtual (en un espacio de direcciones único) junto con las bibliotecas necesarias para que funcione una aplicación, todo ello compilado de forma estática y ejecutado en un hipervisor sin la supervisión ni control de ningún sistema operativo. Los unikernels tratan de eliminar las capas intermedias entre las aplicaciones y el hardware para reducir la complejidad.