selinux-policy/policy/modules/kernel/terminal.te

68 lines
1.2 KiB
Plaintext
Raw Normal View History

2005-04-20 19:07:16 +00:00
policy_module(terminal,1.1.10)
2005-06-30 18:54:08 +00:00
########################################
#
# Declarations
#
2005-04-14 20:18:17 +00:00
attribute ttynode;
attribute ptynode;
attribute server_ptynode;
2005-10-23 22:10:59 +00:00
attribute serial_device;
2005-04-14 20:18:17 +00:00
2005-04-28 21:41:09 +00:00
#
# bsdpty_device_t is the type of /dev/[tp]ty[abcdepqrstuvwxyz][0-9a-f]
type bsdpty_device_t;
2005-06-13 16:22:32 +00:00
dev_node(bsdpty_device_t)
2005-04-28 21:41:09 +00:00
2005-04-14 20:18:17 +00:00
#
# console_device_t is the type of /dev/console.
#
type console_device_t;
2005-06-13 16:22:32 +00:00
dev_node(console_device_t)
2005-04-14 20:18:17 +00:00
2005-04-28 21:41:09 +00:00
#
# devpts_t is the type of the devpts file system and
# the type of the root directory of the file system.
#
type devpts_t;
2005-06-13 17:35:46 +00:00
files_mountpoint(devpts_t)
2005-10-26 16:00:13 +00:00
fs_associate_tmpfs(devpts_t)
fs_type(devpts_t)
fs_use_trans devpts gen_context(system_u:object_r:devpts_t,s0);
2005-04-28 21:41:09 +00:00
ifdef(`targeted_policy',`
2005-11-03 19:33:53 +00:00
# cjp: the ttynode should probably be removed.
typeattribute devpts_t ttynode, ptynode;
')
2005-04-14 20:18:17 +00:00
#
# devtty_t is the type of /dev/tty.
#
type devtty_t;
2005-06-13 16:22:32 +00:00
dev_node(devtty_t)
2005-09-26 20:26:32 +00:00
mls_trusted_object(devtty_t)
2005-04-14 20:18:17 +00:00
#
2005-04-28 21:41:09 +00:00
# ptmx_t is the type for /dev/ptmx.
2005-04-14 20:18:17 +00:00
#
2005-09-26 20:26:32 +00:00
type ptmx_t;
2005-06-13 16:22:32 +00:00
dev_node(ptmx_t)
2005-09-26 20:26:32 +00:00
mls_trusted_object(ptmx_t)
2005-04-14 20:18:17 +00:00
#
2005-04-28 21:41:09 +00:00
# tty_device_t is the type of /dev/*tty*
#
2005-10-23 22:10:59 +00:00
type tty_device_t, serial_device;
2005-06-13 16:22:32 +00:00
dev_node(tty_device_t)
2005-04-14 20:18:17 +00:00
2005-11-03 19:33:53 +00:00
ifdef(`targeted_policy',`
typeattribute tty_device_t ttynode;
')
2005-04-21 22:46:49 +00:00
#
# usbtty_device_t is the type of /dev/usr/tty*
#
2005-10-23 22:10:59 +00:00
type usbtty_device_t, serial_device;
2005-06-13 16:22:32 +00:00
dev_node(usbtty_device_t)