Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
/dev/.*tty[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito e9b9e45
/dev/[pt]ty[a-ep-z][0-9a-f] -c	gen_context(system_u:object_r:bsdpty_device_t,s0)
Chris PeBenito 17de1b7
/dev/adb.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
/dev/capi.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito e9b9e45
/dev/console		-c	gen_context(system_u:object_r:console_device_t,s0)
Chris PeBenito 17de1b7
/dev/cu.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito e9b9e45
/dev/dcbri[0-9]+	-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
/dev/hvc.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
/dev/hvsi.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 495df41
/dev/i2c[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
/dev/ircomm[0-9]+	-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
/dev/ip2[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
/dev/isdn.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
/dev/ptmx		-c	gen_context(system_u:object_r:ptmx_t,s0)
Chris PeBenito d6c3ed8
/dev/pts/ptmx		-c	gen_context(system_u:object_r:ptmx_t,s0)
Chris PeBenito 17de1b7
/dev/rfcomm[0-9]+	-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 02d968c
/dev/slamr[0-9]+	-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 02d968c
/dev/tty		-c	gen_context(system_u:object_r:devtty_t,s0)
Chris PeBenito 17de1b7
/dev/ttySG.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito d6d16b9
/dev/xvc[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
/dev/pty/.*		-c	gen_context(system_u:object_r:bsdpty_device_t,s0)
Chris PeBenito 17de1b7
Chris PeBenito e070dd2
/dev/pts		-d	gen_context(system_u:object_r:devpts_t,s0-mls_systemhigh)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
/dev/tts/[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
Chris PeBenito eac818f
/dev/usb/tty.*		-c	gen_context(system_u:object_r:usbtty_device_t,s0)
Chris PeBenito eac818f
Chris PeBenito 17de1b7
/dev/vcc?/.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
/dev/vcs[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
Chris PeBenito eac818f
/dev/xvc[0-9]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
ifdef(`distro_gentoo',`
Chris PeBenito 17de1b7
/dev/tts/[0-9]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
Chris PeBenito e9b9e45
Chris PeBenito e9b9e45
# used by init scripts to initally populate udev /dev
Chris PeBenito e9b9e45
/lib/udev/devices/console -c	gen_context(system_u:object_r:console_device_t,s0)
Chris PeBenito 17de1b7
')