Documentación
   Aunque el código fuente del kernel está bastante comentado se presenta documentación extra referente al sistema, orientado más a darle un sentido didáctico al kernel.
Conceptos básicos y otras bases
Nociones básicas en: Multiprocesamiento y sistemas operativos en tiempo real.
Araguaney Kernel
Detalles del Kernel
Papeles blancos (1.0.0)
Los papeles blancos son diagramas de diseño que explican mecanismos internos, para una mayor comprensión los mismos.