HelenOS, sistema operativo basado en una arquitectura de microkernel, escrito desde cero (no basado en Unix, Linux o cualquier otro sistema), con soporte para tecnologías como SMP y disponible para arquitecturas como ia32, ia64, PowerPC de 32 bits o SPARC64

