|
|
1ec3d1a |
## <summary>Kernel crash dumping mechanism</summary>
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
######################################
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Execute kdump in the kdump domain.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## <param name="domain">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Domain allowed to transition.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
#
|
|
|
1ec3d1a |
interface(`kdump_domtrans',`
|
|
|
1ec3d1a |
gen_require(`
|
|
|
1ec3d1a |
type kdump_t, kdump_exec_t;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
corecmd_search_bin($1)
|
|
|
1ec3d1a |
domtrans_pattern($1, kdump_exec_t, kdump_t)
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
9f70df2 |
######################################
|
|
|
9f70df2 |
## <summary>
|
|
|
9f70df2 |
## Execute kdumpctl in the kdumpctl domain.
|
|
|
9f70df2 |
## </summary>
|
|
|
9f70df2 |
## <param name="domain">
|
|
|
9f70df2 |
## <summary>
|
|
|
9f70df2 |
## Domain allowed to transition.
|
|
|
9f70df2 |
## </summary>
|
|
|
9f70df2 |
## </param>
|
|
|
9f70df2 |
#
|
|
|
9f70df2 |
interface(`kdumpctl_domtrans',`
|
|
|
9f70df2 |
gen_require(`
|
|
|
9f70df2 |
type kdumpctl_t, kdumpctl_exec_t;
|
|
|
9f70df2 |
')
|
|
|
9f70df2 |
|
|
|
9f70df2 |
corecmd_search_bin($1)
|
|
|
9f70df2 |
domtrans_pattern($1, kdumpctl_exec_t, kdumpctl_t)
|
|
|
9f70df2 |
')
|
|
|
9f70df2 |
|
|
|
9f70df2 |
|
|
|
1ec3d1a |
#######################################
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Execute kdump in the kdump domain.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## <param name="domain">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Domain allowed to transition.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
#
|
|
|
1ec3d1a |
interface(`kdump_initrc_domtrans',`
|
|
|
1ec3d1a |
gen_require(`
|
|
|
1ec3d1a |
type kdump_initrc_exec_t;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
init_labeled_script_domtrans($1, kdump_initrc_exec_t)
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
########################################
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Execute kdump server in the kdump domain.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## <param name="domain">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Domain allowed to transition.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
#
|
|
|
1ec3d1a |
interface(`kdump_systemctl',`
|
|
|
1ec3d1a |
gen_require(`
|
|
|
1ec3d1a |
type kdump_unit_file_t;
|
|
|
1ec3d1a |
type kdump_t;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
systemd_exec_systemctl($1)
|
|
|
1ec3d1a |
systemd_search_unit_dirs($1)
|
|
|
1ec3d1a |
allow $1 kdump_unit_file_t:file read_file_perms;
|
|
|
1ec3d1a |
allow $1 kdump_unit_file_t:service all_service_perms;
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
ps_process_pattern($1, kdump_t)
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
#####################################
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Read kdump configuration file.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## <param name="domain">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Domain allowed access.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
#
|
|
|
1ec3d1a |
interface(`kdump_read_config',`
|
|
|
1ec3d1a |
gen_require(`
|
|
|
1ec3d1a |
type kdump_etc_t;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
files_search_etc($1)
|
|
|
1ec3d1a |
allow $1 kdump_etc_t:file read_file_perms;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
#####################################
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Dontaudit read kdump configuration file.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## <param name="domain">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Domain to not audit.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
#
|
|
|
1ec3d1a |
interface(`kdump_dontaudit_read_config',`
|
|
|
1ec3d1a |
gen_require(`
|
|
|
1ec3d1a |
type kdump_etc_t;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
dontaudit $1 kdump_etc_t:file read_inherited_file_perms;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
####################################
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Manage kdump configuration file.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## <param name="domain">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Domain allowed access.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
#
|
|
|
1ec3d1a |
interface(`kdump_manage_config',`
|
|
|
1ec3d1a |
gen_require(`
|
|
|
1ec3d1a |
type kdump_etc_t;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
files_search_etc($1)
|
|
|
1ec3d1a |
allow $1 kdump_etc_t:file manage_file_perms;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
7f06590 |
###################################
|
|
|
7f06590 |
## <summary>
|
|
|
7f06590 |
## Manage kdump /var/tmp files.
|
|
|
7f06590 |
## </summary>
|
|
|
7f06590 |
## <param name="domain">
|
|
|
7f06590 |
## <summary>
|
|
|
7f06590 |
## Domain allowed access.
|
|
|
7f06590 |
## </summary>
|
|
|
7f06590 |
## </param>
|
|
|
7f06590 |
#
|
|
|
007ab06 |
interface(`kdump_manage_kdumpctl_tmp_files',`
|
|
|
7f06590 |
gen_require(`
|
|
|
007ab06 |
type kdumpctl_tmp_t;
|
|
|
7f06590 |
')
|
|
|
7f06590 |
|
|
|
7f06590 |
files_search_tmp($1)
|
|
|
007ab06 |
manage_files_pattern($1, kdumpctl_tmp_t, kdumpctl_tmp_t)
|
|
|
007ab06 |
manage_dirs_pattern($1, kdumpctl_tmp_t, kdumpctl_tmp_t)
|
|
|
007ab06 |
manage_lnk_files_pattern($1, kdumpctl_tmp_t, kdumpctl_tmp_t)
|
|
|
7f06590 |
')
|
|
|
7f06590 |
|
|
|
1ec3d1a |
######################################
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## All of the rules required to administrate
|
|
|
1ec3d1a |
## an kdump environment
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## <param name="domain">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## Domain allowed access.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
## <param name="role">
|
|
|
1ec3d1a |
## <summary>
|
|
|
1ec3d1a |
## The role to be allowed to manage the kdump domain.
|
|
|
1ec3d1a |
## </summary>
|
|
|
1ec3d1a |
## </param>
|
|
|
1ec3d1a |
## <rolecap/>
|
|
|
1ec3d1a |
#
|
|
|
1ec3d1a |
interface(`kdump_admin',`
|
|
|
1ec3d1a |
gen_require(`
|
|
|
1ec3d1a |
type kdump_t, kdump_etc_t;
|
|
|
1ec3d1a |
type kdump_initrc_exec_t;
|
|
|
1ec3d1a |
type kdump_unit_file_t;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
allow $1 kdump_t:process signal_perms;
|
|
|
1ec3d1a |
ps_process_pattern($1, kdump_t)
|
|
|
1ec3d1a |
tunable_policy(`deny_ptrace',`',`
|
|
|
1ec3d1a |
allow $1 kdump_t:process ptrace;
|
|
|
1ec3d1a |
')
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
init_labeled_script_domtrans($1, kdump_initrc_exec_t)
|
|
|
1ec3d1a |
domain_system_change_exemption($1)
|
|
|
1ec3d1a |
role_transition $2 kdump_initrc_exec_t system_r;
|
|
|
1ec3d1a |
allow $2 system_r;
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
files_search_etc($1)
|
|
|
1ec3d1a |
admin_pattern($1, kdump_etc_t)
|
|
|
1ec3d1a |
|
|
|
1ec3d1a |
kdump_systemctl($1)
|
|
|
1ec3d1a |
admin_pattern($1, kdump_unit_file_t)
|
|
|
1ec3d1a |
allow $1 kdump_unit_file_t:service all_service_perms;
|
|
|
1ec3d1a |
')
|