diff options
Diffstat (limited to 'src/dev/termdev')
| -rw-r--r-- | src/dev/termdev/ptytermdev.cil | 2 | ||||
| -rw-r--r-- | src/dev/termdev/serialtermdev.cil | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/dev/termdev/ptytermdev.cil b/src/dev/termdev/ptytermdev.cil index 4fb7d61..97aed95 100644 --- a/src/dev/termdev/ptytermdev.cil +++ b/src/dev/termdev/ptytermdev.cil @@ -98,7 +98,7 @@ (typeattribute typeattr) - (allow typeattr ptytermdev.typeattr (chr_file (not (execmod mounton)))))) + (allow typeattr ptytermdev.typeattr (chr_file (not (audit_access execmod)))))) (in after ptytermdev.appendinherited_all_chr_files (allowx ARG1 typeattr IOCTLCONSOLE) 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) |