microkernel

kernel that provides fewer services than a traditional kernel