diff options
Diffstat (limited to 'src/dev/nodedev.cil')
| -rw-r--r-- | src/dev/nodedev.cil | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dev/nodedev.cil b/src/dev/nodedev.cil index bf76848..3630643 100644 --- a/src/dev/nodedev.cil +++ b/src/dev/nodedev.cil @@ -114,3 +114,7 @@ (typeattribute typeattr) (allow typeattr nodedev.typeattr (chr_file (not (audit_access execmod)))))) + +(in dev.unconfined + + (call .nodedev.unconfined.type (typeattr))) |