Put SELINUX in a a menu, and add config option for SMACK.
2 files changed