2005-04-29 17:45:15 +00:00
|
|
|
#
|
|
|
|
|
# Authors: Stephen Smalley <sds@epoch.ncsc.mil> and Timothy Fraser
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
############################################
|
|
|
|
|
#
|
|
|
|
|
# Devpts types
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# ptmx_t is the type for /dev/ptmx.
|
|
|
|
|
#
|
2005-09-13 13:06:07 +00:00
|
|
|
type ptmx_t, sysadmfile, device_type, dev_fs, mlstrustedobject;
|
2005-04-29 17:45:15 +00:00
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# devpts_t is the type of the devpts file system and
|
|
|
|
|
# the type of the root directory of the file system.
|
|
|
|
|
#
|
2005-09-13 13:06:07 +00:00
|
|
|
type devpts_t, mount_point, fs_type;
|
2005-04-29 17:45:15 +00:00
|
|
|
|
2005-10-13 20:59:36 +00:00
|
|
|
ifdef(`targeted_policy', `
|
|
|
|
|
typeattribute devpts_t ttyfile;
|
|
|
|
|
')
|
2005-04-29 17:45:15 +00:00
|
|
|
|
