summaryrefslogtreecommitdiff
path: root/src/dev/termdev/serialtermdev.cil
diff options
context:
space:
mode:
Diffstat (limited to 'src/dev/termdev/serialtermdev.cil')
-rw-r--r--src/dev/termdev/serialtermdev.cil2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dev/termdev/serialtermdev.cil b/src/dev/termdev/serialtermdev.cil
index 0f04101..afb7aac 100644
--- a/src/dev/termdev/serialtermdev.cil
+++ b/src/dev/termdev/serialtermdev.cil
@@ -97,7 +97,7 @@
(typeattribute typeattr)
- (allow typeattr serialtermdev.typeattr (chr_file (not (execmod mounton))))))
+ (allow typeattr serialtermdev.typeattr (chr_file (not (audit_access execmod))))))
(in after serialtermdev.appendinherited_all_chr_files
(allowx ARG1 typeattr IOCTLCONSOLE)