Mikrokernel

Dalam ilmu komputer, istilah nanokernel atau picokernel lebih mengarah pada: