diff --git a/refpolicy/policy/modules/kernel/terminal.te b/refpolicy/policy/modules/kernel/terminal.te index 699028d..6da8a34 100644 --- a/refpolicy/policy/modules/kernel/terminal.te +++ b/refpolicy/policy/modules/kernel/terminal.te @@ -33,7 +33,8 @@ fs_type(devpts_t) fs_use_trans devpts gen_context(system_u:object_r:devpts_t,s0); ifdef(`targeted_policy',` - typeattribute devpts_t ttynode; + # cjp: the ttynode should probably be removed. + typeattribute devpts_t ttynode, ptynode; ') # @@ -56,6 +57,10 @@ mls_trusted_object(ptmx_t) type tty_device_t, serial_device; dev_node(tty_device_t) +ifdef(`targeted_policy',` + typeattribute tty_device_t ttynode; +') + # # usbtty_device_t is the type of /dev/usr/tty* #