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