"microkernel" - key terms from Wikipedia