MicroEmpix is the microkernel (much nearer to an exokernel) version of Empix, an operating system developed at the Computing Systems Laboratory of the Electrical & Computer Engineering department at the National Technical University of Athens.