aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'policy/modules/admin/kdump.if')
-rw-r--r--policy/modules/admin/kdump.if113
1 files changed, 113 insertions, 0 deletions
diff --git a/policy/modules/admin/kdump.if b/policy/modules/admin/kdump.if
new file mode 100644
index 000000000..56fb3395b
--- /dev/null
+++ b/policy/modules/admin/kdump.if
@@ -0,0 +1,113 @@
+## <summary>Kernel crash dumping mechanism.</summary>
+
+######################################
+## <summary>
+## Execute kdump in the kdump domain.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed to transition.
+## </summary>
+## </param>
+#
+interface(`kdump_domtrans',`
+ gen_require(`
+ type kdump_t, kdump_exec_t;
+ ')
+
+ corecmd_search_bin($1)
+ domtrans_pattern($1, kdump_exec_t, kdump_t)
+')
+
+#######################################
+## <summary>
+## Execute kdump init scripts in
+## the init script domain.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed to transition.
+## </summary>
+## </param>
+#
+interface(`kdump_initrc_domtrans',`
+ gen_require(`
+ type kdump_initrc_exec_t;
+ ')
+
+ init_labeled_script_domtrans($1, kdump_initrc_exec_t)
+')
+
+#####################################
+## <summary>
+## Read kdump configuration files.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+#
+interface(`kdump_read_config',`
+ gen_require(`
+ type kdump_etc_t;
+ ')
+
+ files_search_etc($1)
+ allow $1 kdump_etc_t:file read_file_perms;
+')
+
+####################################
+## <summary>
+## Create, read, write, and delete
+## kdmup configuration files.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+#
+interface(`kdump_manage_config',`
+ gen_require(`
+ type kdump_etc_t;
+ ')
+
+ files_search_etc($1)
+ allow $1 kdump_etc_t:file manage_file_perms;
+')
+
+######################################
+## <summary>
+## All of the rules required to
+## administrate an kdump environment.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+## <param name="role">
+## <summary>
+## Role allowed access.
+## </summary>
+## </param>
+## <rolecap/>
+#
+interface(`kdump_admin',`
+ gen_require(`
+ type kdump_t, kdump_etc_t, kdumpctl_tmp_t;
+ type kdump_initrc_exec_t, kdumpctl_t;
+ ')
+
+ allow $1 { kdump_t kdumpctl_t }:process { ptrace signal_perms };
+ ps_process_pattern($1, { kdump_t kdumpctl_t })
+
+ init_startstop_service($1, $2, kdump_t, kdump_initrc_exec_t)
+
+ files_search_etc($1)
+ admin_pattern($1, kdump_etc_t)
+
+ files_search_tmp($1)
+ admin_pattern($1, kdumpctl_tmp_t)
+')