What is a security kernel in an operating system?
1
A hardware-based security mechanism
2
A software module that implements security policies and mechanisms.
3
A trusted system administrator.
4
A backup server for the primary security system.