nanokernel (kernel + nano-; small)
A particularly small or minimal microkernel