To develop a microkernel based os. A microkernel is basicaly an OS kernel which communicates mostly using messages. All programs drivers and other entities exist as contextless components which transact. They keep no permanent data.