Um sistema operacional em arquitetura de microkernel é, por definição, aquele cujo código utiliza apenas o conjunto de instruções de um computador da classe RISC (reduced instruction set computer).