diff options
Diffstat (limited to 'src/dev/termdev/serialtermdev.cil')
| -rw-r--r-- | src/dev/termdev/serialtermdev.cil | 33 |
1 files changed, 15 insertions, 18 deletions
diff --git a/src/dev/termdev/serialtermdev.cil b/src/dev/termdev/serialtermdev.cil index 5907658..0f04101 100644 --- a/src/dev/termdev/serialtermdev.cil +++ b/src/dev/termdev/serialtermdev.cil @@ -3,27 +3,9 @@ (block serialtermdev - (macro appendinherited_all_chr_files ((type ARG1)) - (allow ARG1 typeattr appendinherited_chr_file) - (allowx ARG1 typeattr IOCTLCONSOLE) - (allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI) - (allowx ARG1 typeattr IOCTLVT)) - - (macro readwriteinherited_all_chr_files ((type ARG1)) - (allow ARG1 typeattr readwriteinherited_chr_file) - (allowx ARG1 typeattr IOCTLCONSOLE) - (allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI) - (allowx ARG1 typeattr IOCTLVT)) - (macro type ((type ARG1)) (typeattributeset typeattr ARG1)) - (macro writeinherited_all_chr_files ((type ARG1)) - (allow ARG1 typeattr writeinherited_chr_file) - (allowx ARG1 typeattr IOCTLCONSOLE) - (allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI) - (allowx ARG1 typeattr IOCTLVT)) - (typeattribute typeattr) (blockinherit .file.all_macro_template_chr_files) @@ -116,3 +98,18 @@ (typeattribute typeattr) (allow typeattr serialtermdev.typeattr (chr_file (not (execmod mounton)))))) + +(in after serialtermdev.appendinherited_all_chr_files + (allowx ARG1 typeattr IOCTLCONSOLE) + (allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI) + (allowx ARG1 typeattr IOCTLVT)) + +(in after serialtermdev.readwriteinherited_all_chr_files + (allowx ARG1 typeattr IOCTLCONSOLE) + (allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI) + (allowx ARG1 typeattr IOCTLVT)) + +(in after serialtermdev.writeinherited_all_chr_files + (allowx ARG1 typeattr IOCTLCONSOLE) + (allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI) + (allowx ARG1 typeattr IOCTLVT)) |