HelenOS
HelenOS is a microkernel operating system, which supports multitasking, memory management, inter-process communication and symmetric multiprocessing. File system, device drivers and other services are implemented like user processes. It can run on some architectures like IA-32, x86-64, SPARC V9, IA-64, Power PC, ARM and MIPS.