(typeattribute sudomain)
(type su_exec_t)
(roletype object_r su_exec_t)
(boolean su_allow_user_exec_domains false)
(roleattributeset cil_gen_require system_r)
(typeattributeset cil_gen_require exec_type)
(typeattributeset exec_type (su_exec_t ))
(typeattributeset cil_gen_require file_type)
(typeattributeset file_type (su_exec_t ))
(typeattributeset cil_gen_require non_security_file_type)
(typeattributeset non_security_file_type (su_exec_t ))
(typeattributeset cil_gen_require non_auth_file_type)
(typeattributeset non_auth_file_type (su_exec_t ))
(filecon "/usr/(local/)?bin/ksu" file (system_u object_r su_exec_t (systemlow systemlow)))
(filecon "/usr/bin/kdesu" file (system_u object_r su_exec_t (systemlow systemlow)))
(filecon "/usr/bin/su" file (system_u object_r su_exec_t (systemlow systemlow)))
