diff options
Diffstat (limited to 'policy/modules/kernel/devices.if')
| -rw-r--r-- | policy/modules/kernel/devices.if | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/policy/modules/kernel/devices.if b/policy/modules/kernel/devices.if index a2d55dedb..d15365737 100644 --- a/policy/modules/kernel/devices.if +++ b/policy/modules/kernel/devices.if @@ -2067,6 +2067,24 @@ interface(`dev_manage_dri_dev',` ######################################## ## <summary> +## Mount on the dri devices. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`dev_mounton_dri_dev',` + gen_require(` + type dri_device_t; + ') + + allow $1 dri_device_t:chr_file mounton; +') + +######################################## +## <summary> ## Automatic type transition to the type ## for DRI device nodes when created in /dev. ## </summary> |