El [[MIT]] va desenvolupar dos [[Sistema operatiu | sistemes operatius]] basats en exonúcli, que empraven dos [[nucli (informàtica) | nuclis]]: [[Aegis]], una prova del concepte amb suport limitat per a emmagatzematge , i [[XOK]], que aplicava el concepte de exonúcleo més directament.
Una idea essencial del sistema exonúcleoexonucli del [[MIT]] era que el [[sistema operatiu]] hauria d'actuar com un ejecutador per petits [[Programa (computació) | programes]] subministrats per l'aplicació [[programari]], que només estan subjectes al requisit que l'exonúcleo ha de ser capaç de garantir que empren el [[maquinari]] de manera segura.
=== Disseny ===
Consta de 3 capes, la capa delde exonúcleol'exonucli, la capa LibOS (nuclis de diversos sistemes operatius corrent sobre exonúcleo) i la capa d'aplicacions, corrent sobre LibOS.L'exonúcli del [[MIT]] administra el [[maquinari]] de la següent manera:
