diff options
Diffstat (limited to 'policy/modules/services/openhpi.if')
| -rw-r--r-- | policy/modules/services/openhpi.if | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/policy/modules/services/openhpi.if b/policy/modules/services/openhpi.if new file mode 100644 index 00000000..ca1e226e --- /dev/null +++ b/policy/modules/services/openhpi.if @@ -0,0 +1,36 @@ +## <summary>Open source implementation of the Service Availability Forum Hardware Platform Interface.</summary> + +######################################## +## <summary> +## All of the rules required to +## administrate an openhpi environment. +## </summary> +## <param name="domain"> +## <summary> +## Domain allowed access. +## </summary> +## </param> +## <param name="role"> +## <summary> +## Role allowed access. +## </summary> +## </param> +## <rolecap/> +# +interface(`openhpi_admin',` + gen_require(` + type openhpid_t, openhpid_initrc_exec_t, openhpid_var_lib_t; + type openhpid_var_run_t; + ') + + allow $1 openhpid_t:process { ptrace signal_perms }; + ps_process_pattern($1, openhpid_t) + + init_startstop_service($1, $2, openhpid_t, openhpid_initrc_exec_t) + + files_search_var_lib($1) + admin_pattern($1, openhpid_var_lib_t) + + files_search_pids($1) + admin_pattern($1, openhpid_var_run_t) +') |