Núcleo CHORUS
Es un sistema operativo microkernel
Proporciona servicios como:
administración de sincronía,
comunicación entre procesos asíncronos (IPCs)
llamadas a procedimientos remotos (RPCs)
supervisión de hardware de bajo nivel
Dispone de un manejador de memoria virtual para asistir el movimiento de objetos en ambientes distribuidos
El sistema operativo corre como un conjunto de módulos sobre el microkernel y los módulos se comunican a través de interfaces basados en mensajes
los módulos manejan administradores de archivos, administradores de memoria, aplicaciones, intercomunicación en ambientes distribuidos