None
Hardware, firmware, and software elements of a trusted computing base implementing the reference monitor concept. Security kernel must mediate all accesses, be protected from modification, and be verifiable as correct.
Source(s):
CNSSI 4009-2015
NIST SP 800-53 Rev. 4
under Security Kernel
CNSSI 4009