microkernel
1. Na programação, a parte estritamente dependente de hardware de um sistema operacional que foi projetado para poder ser transferido de um tipo de computador para outro. O microkernel oferece uma interface independente de hardware para o resto do sistema operacional e, assim, apenas o microkernel precisa ser alterado para transportar o sistema operacional para outra plataforma. Ver também kernel; operating system (sistema operacional). 2. Kernel projetado apenas com os recursos básicos e, em geral, de maneira modular.