마이크로커널

운영 체계(OS)의 기본적인 기능을 제공하는 커널(핵심부)을 필요한 만큼 남겨서 소형화한 것. 마이크로커널에는 처리 제어나 장치 구동기 등 하드웨어에 의존하는 기능, 실시간 처리에 필요한 기능만을 갖도록 한다. 이것을 채용한 OS의 최대 이점은 각종 처리기에 용이하게 이식할 수 있다는 것이다.