diff --git a/policy/modules/services/prelude.te b/policy/modules/services/prelude.te index 4d66b765f..3a12d03bd 100644 --- a/policy/modules/services/prelude.te +++ b/policy/modules/services/prelude.te @@ -72,9 +72,10 @@ manage_dirs_pattern(prelude_t, prelude_var_lib_t, prelude_var_lib_t) manage_files_pattern(prelude_t, prelude_var_lib_t, prelude_var_lib_t) files_search_var_lib(prelude_t) +manage_dirs_pattern(prelude_t, prelude_var_run_t, prelude_var_run_t) manage_files_pattern(prelude_t, prelude_var_run_t, prelude_var_run_t) manage_sock_files_pattern(prelude_t, prelude_var_run_t, prelude_var_run_t) -files_pid_filetrans(prelude_t, prelude_var_run_t, file) +files_pid_filetrans(prelude_t, prelude_var_run_t, { dir file }) kernel_read_system_state(prelude_t) kernel_read_sysctl(prelude_t)