Simplified Mandatory Access Control Kernel