#
# Authors:  Stephen Smalley <sds@epoch.ncsc.mil> and Timothy Fraser  
#

############################################
#
# Devpts types
#

#
# ptmx_t is the type for /dev/ptmx.
#
type ptmx_t, sysadmfile, device_type, dev_fs, mlstrustedobject;

#
# devpts_t is the type of the devpts file system and 
# the type of the root directory of the file system.
#
type devpts_t, mount_point, fs_type;

ifdef(`targeted_policy', `
typeattribute devpts_t ttyfile;
')