aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'policy/modules/services/entropyd.if')
-rw-r--r--policy/modules/services/entropyd.if32
1 files changed, 32 insertions, 0 deletions
diff --git a/policy/modules/services/entropyd.if b/policy/modules/services/entropyd.if
new file mode 100644
index 00000000..eedfae6c
--- /dev/null
+++ b/policy/modules/services/entropyd.if
@@ -0,0 +1,32 @@
+## <summary>Generate entropy from audio input.</summary>
+
+########################################
+## <summary>
+## All of the rules required to
+## administrate an entropyd environment.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+## <param name="role">
+## <summary>
+## Role allowed access.
+## </summary>
+## </param>
+## <rolecap/>
+#
+interface(`entropyd_admin',`
+ gen_require(`
+ type entropyd_t, entropyd_initrc_exec_t, entropyd_var_run_t;
+ ')
+
+ allow $1 entropyd_t:process { ptrace signal_perms };
+ ps_process_pattern($1, entropyd_t)
+
+ init_startstop_service($1, $2, entropyd_t, entropyd_initrc_exec_t)
+
+ files_search_pids($1)
+ admin_pattern($1, entropyd_var_run_t)
+')