diff --git a/permissivedomains.cil b/permissivedomains.cil index 0cbdea1e..12c6c193 100644 --- a/permissivedomains.cil +++ b/permissivedomains.cil @@ -4,3 +4,13 @@ (typeattributeset cil_gen_require tangd_t) (typepermissive tangd_t) ) + +(optional permissivedomains_optional_2 + (typeattributeset cil_gen_require opafm_t) + (typepermissive opafm_t) +) + +(optional permissivedomains_optional_3 + (typeattributeset cil_gen_require boltd_t) + (typepermissive boltd_t) +)