Security kernel

Definition
A security kernel is

"[t]he central part of a computer system (hardware, software, or firmware) that implements the fundamental security procedures for controlling access to system resources."