diff options
Diffstat (limited to 'policy/modules/kernel/kernel.if')
-rw-r--r-- | policy/modules/kernel/kernel.if | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/policy/modules/kernel/kernel.if b/policy/modules/kernel/kernel.if index 2c7ad0cc6..6887b00d0 100644 --- a/policy/modules/kernel/kernel.if +++ b/policy/modules/kernel/kernel.if @@ -957,6 +957,24 @@ interface(`kernel_dontaudit_write_proc_dirs',` ######################################## ## <summary> +## Mount the directories in /proc. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +# +interface(`kernel_mounton_proc_dirs',` + gen_require(` + type proc_t; + ') + + allow $1 proc_t:dir mounton; +') + +######################################## +## <summary> ## Get the attributes of files in /proc. ## </summary> ## <param name="domain"> |