Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
## Policy for hotplug system, for supporting the
Chris PeBenito 17de1b7
## connection and disconnection of devices at runtime.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
##	Execute hotplug with a domain transition.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
## <param name="domain">
Chris PeBenito 17de1b7
##	<summary>
Chris PeBenito 17de1b7
##	Domain allowed access.
Chris PeBenito 17de1b7
##	</summary>
Chris PeBenito 17de1b7
## </param>
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
interface(`hotplug_domtrans',`
Chris PeBenito 17de1b7
	gen_require(`
Chris PeBenito 17de1b7
		type hotplug_t, hotplug_exec_t;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 8021cb4
	corecmd_search_bin($1)
Chris PeBenito c0868a7
	domtrans_pattern($1,hotplug_exec_t,hotplug_t)
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
##	Execute hotplug in the caller domain.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
## <param name="domain">
Chris PeBenito 17de1b7
##	<summary>
Chris PeBenito 17de1b7
##	Domain allowed access.
Chris PeBenito 17de1b7
##	</summary>
Chris PeBenito 17de1b7
## </param>
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
interface(`hotplug_exec',`
Chris PeBenito 17de1b7
	gen_require(`
Chris PeBenito 17de1b7
		type hotplug_t;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 8021cb4
	corecmd_search_bin($1)
Chris PeBenito 17de1b7
	can_exec($1,hotplug_exec_t)
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
##	Inherit and use hotplug file descriptors.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
## <param name="domain">
Chris PeBenito 17de1b7
##	<summary>
Chris PeBenito 17de1b7
##	Domain allowed access.
Chris PeBenito 17de1b7
##	</summary>
Chris PeBenito 17de1b7
## </param>
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
interface(`hotplug_use_fds',`
Chris PeBenito 17de1b7
	gen_require(`
Chris PeBenito 17de1b7
		type hotplug_t;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	allow $1 hotplug_t:fd use;
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
##	Do not audit attempts to inherit
Chris PeBenito 17de1b7
##	hotplug file descriptors.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
## <param name="domain">
Chris PeBenito 17de1b7
##	<summary>
Chris PeBenito 17de1b7
##	Domain to not audit.
Chris PeBenito 17de1b7
##	</summary>
Chris PeBenito 17de1b7
## </param>
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
interface(`hotplug_dontaudit_use_fds',`
Chris PeBenito 17de1b7
	gen_require(`
Chris PeBenito 17de1b7
		type hotplug_t;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	dontaudit $1 hotplug_t:fd use;
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
##	Do not audit attempts to search the
Chris PeBenito 17de1b7
##	hotplug configuration directories.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
## <param name="domain">
Chris PeBenito 17de1b7
##	<summary>
Chris PeBenito 17de1b7
##	Domain to not audit.
Chris PeBenito 17de1b7
##	</summary>
Chris PeBenito 17de1b7
## </param>
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
interface(`hotplug_dontaudit_search_config',`
Chris PeBenito 17de1b7
	gen_require(`
Chris PeBenito 17de1b7
		type hotplug_etc_t;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	dontaudit $1 hotplug_etc_t:dir search;
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
##	Get the attributes of the hotplug configuration directory.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
## <param name="domain">
Chris PeBenito 17de1b7
##	<summary>
Chris PeBenito 17de1b7
##	Domain allowed access.
Chris PeBenito 17de1b7
##	</summary>
Chris PeBenito 17de1b7
## </param>
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
interface(`hotplug_getattr_config_dirs',`
Chris PeBenito 17de1b7
	gen_require(`
Chris PeBenito 17de1b7
		type hotplug_etc_t;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	allow $1 hotplug_etc_t:dir getattr;
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
##	Search the hotplug configuration directory.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
## <param name="domain">
Chris PeBenito 17de1b7
##	<summary>
Chris PeBenito 17de1b7
##	Domain allowed access.
Chris PeBenito 17de1b7
##	</summary>
Chris PeBenito 17de1b7
## </param>
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
interface(`hotplug_search_config',`
Chris PeBenito 17de1b7
	gen_require(`
Chris PeBenito 17de1b7
		type hotplug_etc_t;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito c0868a7
	allow $1 hotplug_etc_t:dir search_dir_perms;
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
## <summary>
Chris PeBenito 17de1b7
##	Read the configuration files for hotplug.
Chris PeBenito 17de1b7
## </summary>
Chris PeBenito 17de1b7
## <param name="domain">
Chris PeBenito 17de1b7
##	<summary>
Chris PeBenito 17de1b7
##	The type of the process performing this action.
Chris PeBenito 17de1b7
##	</summary>
Chris PeBenito 17de1b7
## </param>
Chris PeBenito bbcd3c9
## <rolecap/>
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
interface(`hotplug_read_config',`
Chris PeBenito 17de1b7
	gen_require(`
Chris PeBenito 17de1b7
		type hotplug_etc_t;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	files_search_etc($1)
Chris PeBenito c0868a7
	allow $1 hotplug_etc_t:dir list_dir_perms;
Chris PeBenito c0868a7
	read_files_pattern($1,hotplug_etc_t,hotplug_etc_t)
Chris PeBenito c0868a7
	read_lnk_files_pattern($1,hotplug_etc_t,hotplug_etc_t)
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito ed38ca9
########################################
Chris PeBenito ed38ca9
## <summary>
Chris PeBenito ed38ca9
##	Search the hotplug PIDs.
Chris PeBenito ed38ca9
## </summary>
Chris PeBenito ed38ca9
## <param name="domain">
Chris PeBenito ed38ca9
##	<summary>
Chris PeBenito ed38ca9
##	Domain allowed access.
Chris PeBenito ed38ca9
##	</summary>
Chris PeBenito ed38ca9
## </param>
Chris PeBenito ed38ca9
#
Chris PeBenito ed38ca9
interface(`hotplug_search_pids',`
Chris PeBenito ed38ca9
	gen_require(`
Chris PeBenito ed38ca9
		type hotplug_var_run_t;
Chris PeBenito ed38ca9
	')
Chris PeBenito ed38ca9
Chris PeBenito ed38ca9
	allow $1 hotplug_var_run_t:dir search_dir_perms;
Chris PeBenito ed38ca9
	files_search_pids($1)
Chris PeBenito ed38ca9
')