microkernel (kernel + micro-; small)
A minimal operating system kernel offering basic mechanisms rather than abstract services