L4 microkernel family |
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.