split dev_manage_dri_dev() into a manage and a filetrans interface.

This commit is contained in:
Chris PeBenito 2009-08-25 09:43:38 -04:00
parent 909922027b
commit 69347451fd
3 changed files with 20 additions and 1 deletions

View File

@ -1431,6 +1431,24 @@ interface(`dev_manage_dri_dev',`
')
manage_chr_files_pattern($1, device_t, dri_device_t)
')
########################################
## <summary>
## Automatic type transition to the type
## for DRI device nodes when created in /dev.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`dev_filetrans_dri',`
gen_require(`
type device_t, dri_device_t;
')
filetrans_pattern($1, device_t, dri_device_t, chr_file)
')

View File

@ -1,5 +1,5 @@
policy_module(devices, 1.8.0)
policy_module(devices, 1.8.1)
########################################
#

View File

@ -671,6 +671,7 @@ dev_rw_apm_bios(xserver_t)
dev_rw_agp(xserver_t)
dev_rw_framebuffer(xserver_t)
dev_manage_dri_dev(xserver_t)
dev_filetrans_dri(xserver_t)
dev_create_generic_dirs(xserver_t)
dev_setattr_generic_dirs(xserver_t)
# raw memory access is needed if not using the frame buffer