nachos.security
Interfaces 
Privilege.InterruptPrivilege
Privilege.MachinePrivilege
Privilege.ProcessorPrivilege
Privilege.TCBPrivilege
Classes 
NachosSecurityManager
Privilege