## Kernel Samepage Merging (KSM) Tuning Daemon
########################################
##
## Execute a domain transition to run ksmtuned.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`ksmtuned_domtrans',`
gen_require(`
type ksmtuned_t, ksmtuned_exec_t;
')
domtrans_pattern($1, ksmtuned_exec_t, ksmtuned_t)
')
########################################
##
## Execute ksmtuned server in the ksmtuned domain.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`ksmtuned_initrc_domtrans',`
gen_require(`
type ksmtuned_initrc_exec_t;
')
init_labeled_script_domtrans($1, ksmtuned_initrc_exec_t)
')
########################################
##
## All of the rules required to administrate
## an ksmtuned environment
##
##
##
## Domain allowed access.
##
##
##
##
## Role allowed access.
##
##
##
#
interface(`ksmtuned_admin',`
gen_require(`
type ksmtuned_t, ksmtuned_var_run_t;
type ksmtuned_initrc_exec_t;
')
allow $1 ksmtuned_t:process { ptrace signal_perms };
ps_process_pattern(ksmtumed_t)
files_list_pids($1)
admin_pattern($1, ksmtuned_var_run_t)
# Allow ksmtuned_t to restart the apache service
ksmtuned_initrc_domtrans($1)
domain_system_change_exemption($1)
role_transition $2 ksmtuned_initrc_exec_t system_r;
allow $2 system_r;
')