diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/dev/nodedev/memnodedev.cil | 4 | ||||
| -rw-r--r-- | src/dev/termdev/ptytermdev/loginptytermdev/sysloginptytermdev.cil | 8 | ||||
| -rw-r--r-- | src/dev/termdev/serialtermdev/sysserialtermdev.cil | 8 |
3 files changed, 0 insertions, 20 deletions
diff --git a/src/dev/nodedev/memnodedev.cil b/src/dev/nodedev/memnodedev.cil index dad7a1c..a0d91c7 100644 --- a/src/dev/nodedev/memnodedev.cil +++ b/src/dev/nodedev/memnodedev.cil @@ -44,10 +44,6 @@ (neverallow not_typeattr mem.nodedev (chr_file (append write))))) -(in dev.unconfined - - (call .mem.readwrite.type (typeattr))) - (in nodedev.unconfined (call .mem.readwrite.type (typeattr))) diff --git a/src/dev/termdev/ptytermdev/loginptytermdev/sysloginptytermdev.cil b/src/dev/termdev/ptytermdev/loginptytermdev/sysloginptytermdev.cil index bd1bfd7..f7853ba 100644 --- a/src/dev/termdev/ptytermdev/loginptytermdev/sysloginptytermdev.cil +++ b/src/dev/termdev/ptytermdev/loginptytermdev/sysloginptytermdev.cil @@ -1,10 +1,6 @@ ;; SPDX-FileCopyrightText: © 2024 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense -(in dev.unconfined - - (call .sys.loginptytermdev_all_type_change_ptytermdev (typeattr))) - (in ptytermdev.unconfined (call .sys.loginptytermdev_all_type_change_ptytermdev (typeattr))) @@ -23,7 +19,3 @@ (blockinherit .loginptytermdev.template) (call devpts_fs_type_transition_ptytermdev (subj))) - -(in termdev.unconfined - - (call .sys.loginptytermdev_all_type_change_ptytermdev (typeattr))) diff --git a/src/dev/termdev/serialtermdev/sysserialtermdev.cil b/src/dev/termdev/serialtermdev/sysserialtermdev.cil index 68322be..97ca537 100644 --- a/src/dev/termdev/serialtermdev/sysserialtermdev.cil +++ b/src/dev/termdev/serialtermdev/sysserialtermdev.cil @@ -1,10 +1,6 @@ ;; SPDX-FileCopyrightText: © 2024 Dominick Grift <dominick.grift@defensec.nl> ;; SPDX-License-Identifier: Unlicense -(in dev.unconfined - - (call .sys.loginserialtermdev_all_type_change_serialtermdev (typeattr))) - (in serialtermdev.unconfined (call .sys.loginserialtermdev_all_type_change_serialtermdev (typeattr))) @@ -16,7 +12,3 @@ (ARG1 serialtermdev))) (blockinherit .serialtermdev.template)) - -(in termdev.unconfined - - (call .sys.loginserialtermdev_all_type_change_serialtermdev (typeattr))) |