2005-05-10 15:31:48 +00:00
|
|
|
|
2005-10-06 19:33:06 +00:00
|
|
|
/dev/.*tty[^/]* -c gen_context(system_u:object_r:tty_device_t,s0)
|
2006-08-18 18:20:22 +00:00
|
|
|
/dev/[pt]ty[a-ep-z][0-9a-f] -c gen_context(system_u:object_r:bsdpty_device_t,s0)
|
2005-10-06 19:33:06 +00:00
|
|
|
/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)
|
2006-08-18 18:20:22 +00:00
|
|
|
/dev/console -c gen_context(system_u:object_r:console_device_t,s0)
|
2005-10-06 19:33:06 +00:00
|
|
|
/dev/cu.* -c gen_context(system_u:object_r:tty_device_t,s0)
|
2006-08-18 18:20:22 +00:00
|
|
|
/dev/dcbri[0-9]+ -c gen_context(system_u:object_r:tty_device_t,s0)
|
2005-10-06 19:33:06 +00:00
|
|
|
/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/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)
|
2005-10-14 17:55:40 +00:00
|
|
|
/dev/rfcomm[0-9]+ -c gen_context(system_u:object_r:tty_device_t,s0)
|
2006-02-01 16:34:54 +00:00
|
|
|
/dev/tty -c gen_context(system_u:object_r:devtty_t,s0)
|
2005-10-06 19:33:06 +00:00
|
|
|
/dev/ttySG.* -c gen_context(system_u:object_r:tty_device_t,s0)
|
2006-12-04 20:10:56 +00:00
|
|
|
/dev/xvc[^/]* -c gen_context(system_u:object_r:tty_device_t,s0)
|
2005-08-12 18:13:03 +00:00
|
|
|
|
2005-10-06 19:33:06 +00:00
|
|
|
/dev/pty/.* -c gen_context(system_u:object_r:bsdpty_device_t,s0)
|
2005-08-12 18:13:03 +00:00
|
|
|
|
2006-10-04 17:25:34 +00:00
|
|
|
/dev/pts -d gen_context(system_u:object_r:devpts_t,s0-mls_systemhigh)
|
2006-01-06 22:51:40 +00:00
|
|
|
|
2006-02-01 16:34:54 +00:00
|
|
|
/dev/tts/[^/]* -c gen_context(system_u:object_r:tty_device_t,s0)
|
|
|
|
|
|
2006-09-01 15:52:05 +00:00
|
|
|
/dev/usb/tty.* -c gen_context(system_u:object_r:usbtty_device_t,s0)
|
|
|
|
|
|
2005-10-06 19:33:06 +00:00
|
|
|
/dev/vcc?/.* -c gen_context(system_u:object_r:tty_device_t,s0)
|
2005-08-12 18:13:03 +00:00
|
|
|
|
2005-10-06 19:33:06 +00:00
|
|
|
/dev/vcs[^/]* -c gen_context(system_u:object_r:tty_device_t,s0)
|
2005-05-10 15:31:48 +00:00
|
|
|
|
2006-09-01 15:52:05 +00:00
|
|
|
/dev/xvc[0-9]* -c gen_context(system_u:object_r:tty_device_t,s0)
|
2006-01-19 22:47:40 +00:00
|
|
|
|
|
|
|
|
ifdef(`distro_gentoo',`
|
|
|
|
|
/dev/tts/[0-9]* -c gen_context(system_u:object_r:tty_device_t,s0)
|
2006-08-18 18:20:22 +00:00
|
|
|
|
|
|
|
|
# used by init scripts to initally populate udev /dev
|
|
|
|
|
/lib/udev/devices/console -c gen_context(system_u:object_r:console_device_t,s0)
|
2006-01-19 22:47:40 +00:00
|
|
|
')
|
