Minix, sistema operativo en el que se basó inicialmente Linux, también es micronúcleo.