diff options
Diffstat (limited to 'src/dev.cil')
| -rw-r--r-- | src/dev.cil | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/dev.cil b/src/dev.cil index 22413bd..a7ec444 100644 --- a/src/dev.cil +++ b/src/dev.cil @@ -41,10 +41,7 @@ (macro type ((type ARG1)) (typeattributeset typeattr ARG1)) - (typeattribute typeattr) - - (allow typeattr dev.typeattr (blk_file (not (audit_access execmod map)))) - (allow typeattr dev.typeattr (chr_file (not (audit_access execmod)))))) + (typeattribute typeattr))) (in unconfined |