Los sistemas operativos (librerías libOS dispuestas sobre el núcleo) disponibles para exonúcleo incluyen el habitual sistema ExOS y un emulador para BSD.