## <module name="modutils">
## <summary>Policy for kernel module utilities</summary>

########################################
## <interface name="modutils_read_kernel_module_dependencies">
##	<description>
##		Read the dependencies of kernel modules.
##	</description>
##	<parameter name="domain">
##		The type of the process performing this action.
##	</parameter>
## </interface>
#
define(`modutils_read_kernel_module_dependencies',`
	gen_require(`
		type modules_dep_t;
		class file r_file_perms;
	')

	bootloader_list_kernel_modules($1)
	allow $1 modules_dep_t:file r_file_perms;
')

########################################
## <interface name="modutils_read_module_conf">
##	<description>
##		Read the configuration options used when
##		loading modules.
##	</description>
##	<parameter name="domain">
##		The type of the process performing this action.
##	</parameter>
## </interface>
#
define(`modutils_read_module_conf',`
	gen_require(`
		type modules_conf_t;
		class file r_file_perms;
	')

	# This file type can be in /etc or
	# /lib(64)?/modules
	files_search_etc($1)
	bootloader_search_boot_dir($1)

	allow $1 modules_conf_t:file r_file_perms;
')

########################################
## <interface name="modutils_domtrans_insmod">
##	<description>
##		Execute insmod in the insmod domain.
##	</description>
##	<parameter name="domain">
##		The type of the process performing this action.
##	</parameter>
## </interface>
#
define(`modutils_domtrans_insmod',`
	gen_require(`
		type insmod_t, insmod_exec_t;
		class process sigchld;
		class fd use;
		class fifo_file rw_file_perms;
	')

	corecmd_search_sbin($1)
	domain_auto_trans($1, insmod_exec_t, insmod_t)

	allow $1 insmod_t:fd use;
	allow insmod_t $1:fd use;
	allow insmod_t $1:fifo_file rw_file_perms;
	allow insmod_t $1:process sigchld;
')

########################################
## <interface name="modutils_run_insmod">
##	<description>
##		Execute insmod in the insmod domain, and
##		allow the specified role the insmod domain,
##		and use the caller's terminal.  Has a sigchld
##		backchannel.
##	</description>
##	<parameter name="domain">
##		The type of the process performing this action.
##	</parameter>
##	<parameter name="role">
##		The role to be allowed the insmod domain.
##	</parameter>
##	<parameter name="terminal">
##		The type of the terminal allow the insmod domain to use.
##	</parameter>
## </interface>
#
define(`modutils_run_insmod',`
	gen_require(`
		type insmod_t;
		class chr_file rw_term_perms;
	')

	modutils_domtrans_insmod($1)
	role $2 types insmod_t;
	allow insmod_t $3:chr_file rw_term_perms;
')

########################################
#
# modutils_exec_insmod(domain)
#
define(`modutils_exec_insmod',`
	gen_require(`
		type insmod_t;
	')

	corecmd_search_sbin($1)
	can_exec($1, insmod_exec_t)
')

########################################
## <interface name="modutils_domtrans_depmod">
##	<description>
##		Execute depmod in the depmod domain.
##	</description>
##	<parameter name="domain">
##		The type of the process performing this action.
##	</parameter>
## </interface>
#
define(`modutils_domtrans_depmod',`
	gen_require(`
		type depmod_t, depmod_exec_t;
		class process sigchld;
		class fd use;
		class fifo_file rw_file_perms;
	')

	corecmd_search_sbin($1)
	domain_auto_trans($1, depmod_exec_t, depmod_t)

	allow $1 depmod_t:fd use;
	allow depmod_t $1:fd use;
	allow depmod_t $1:fifo_file rw_file_perms;
	allow depmod_t $1:process sigchld;
')

########################################
## <interface name="modutils_run_depmod">
##	<description>
##		Execute depmod in the depmod domain.
##	</description>
##	<parameter name="domain">
##		The type of the process performing this action.
##	</parameter>
##	<parameter name="role">
##		The role to be allowed the depmod domain.
##	</parameter>
##	<parameter name="terminal">
##		The type of the terminal allow the depmod domain to use.
##	</parameter>
## </interface>
#
define(`modutils_run_depmod',`
	gen_require(`
		type depmod_t;
		class chr_file rw_term_perms;
	')

	modutils_domtrans_depmod($1)
	role $2 types insmod_t;
	allow insmod_t $3:chr_file rw_term_perms;
')

########################################
#
# modutils_exec_depmod(domain)
#
define(`modutils_exec_depmod',`
	gen_require(`
		type depmod_t;
	')

	corecmd_search_sbin($1)
	can_exec($1, depmod_exec_t)
')

########################################
## <interface name="modutils_domtrans_update_mods">
##	<description>
##		Execute depmod in the depmod domain.
##	</description>
##	<parameter name="domain">
##		The type of the process performing this action.
##	</parameter>
## </interface>
#
define(`modutils_domtrans_update_mods',`
	gen_require(`
		type update_modules_t, update_modules_exec_t;
		class process signal;
		class fd use;
		class fifo_file rw_file_perms;
	')

	corecmd_search_sbin($1)
	domain_auto_trans($1, update_modules_exec_t, update_modules_t)

	allow $1 update_modules_t:fd use;
	allow update_modules_t $1:fd use;
	allow update_modules_t $1:fifo_file rw_file_perms;
	allow update_modules_t $1:process sigchld;
')

########################################
## <interface name="modutils_run_update_mods">
##	<description>
##		Execute update_modules in the update_modules domain.
##	</description>
##	<parameter name="domain">
##		The type of the process performing this action.
##	</parameter>
##	<parameter name="role">
##		The role to be allowed the update_modules domain.
##	</parameter>
##	<parameter name="terminal">
##		The type of the terminal allow the update_modules domain to use.
##	</parameter>
## </interface>
#
define(`modutils_run_update_mods',`
	gen_require(`
		type update_modules_t;
		class chr_file rw_term_perms;
	')

	modutils_domtrans_update_mods($1)
	role $2 types update_modules_t;
	allow update_modules_t $3:chr_file rw_term_perms;
')

########################################
#
# modutils_exec_update_mods(domain)
#
define(`modutils_exec_update_mods',`
	gen_require(`
		type update_modules_t;
	')

	corecmd_search_sbin($1)
	can_exec($1, update_modules_exec_t)
')

## </module>