/dev/.*tty[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/[pt]ty[a-ep-z][0-9a-f] -c	gen_context(system_u:object_r:bsdpty_device_t,s0)
/dev/adb.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/capi.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/console		-c	gen_context(system_u:object_r:console_device_t,s0)
/dev/cu.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/dcbri[0-9]+	-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/hvc.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/hvsi.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/i2c[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/ircomm[0-9]+	-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/ip2[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/isdn.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/ptmx		-c	gen_context(system_u:object_r:ptmx_t,s0)
/dev/pts/ptmx		-c	gen_context(system_u:object_r:ptmx_t,s0)
/dev/rfcomm[0-9]+	-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/slamr[0-9]+	-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/tty		-c	gen_context(system_u:object_r:devtty_t,s0)
/dev/ttySG.*		-c	gen_context(system_u:object_r:tty_device_t,s0)
/dev/xvc[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)

/dev/pty/.*		-c	gen_context(system_u:object_r:bsdpty_device_t,s0)

/dev/pts		-d	gen_context(system_u:object_r:devpts_t,s0-mls_systemhigh)

/dev/tts/[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)

/dev/usb/tty.*		-c	gen_context(system_u:object_r:usbtty_device_t,s0)

/dev/vcc?/.*		-c	gen_context(system_u:object_r:tty_device_t,s0)

/dev/vcs[^/]*		-c	gen_context(system_u:object_r:tty_device_t,s0)

/dev/xvc[0-9]*		-c	gen_context(system_u:object_r:tty_device_t,s0)

ifdef(`distro_gentoo',`
/dev/tts/[0-9]*		-c	gen_context(system_u:object_r:tty_device_t,s0)

# used by init scripts to initally populate udev /dev
/lib/udev/devices/console -c	gen_context(system_u:object_r:console_device_t,s0)
')