"... HelenOS es un sistema operativo que puede funcionar sobre las plataformas de 32 y 64 bits, ya sean little-endian o big-endian y basadas en ia32, mips32, ppc32, ppc64, ia64, amd64 y sparc64. Usa el núcleo Spartan creado por Jakub Jermar, diseñado como micronúcleo, la ejecución de las tareas es mediante apropiación. Se pueden compilar los programas del proyecto GNU en él. A diferencia de UNIX, usan objetos en lugar de ficheros para tratar los recursos..." (
barrapunto.com/article.pl?sid=06/06/14/119256)