Chris PeBenito b841df
## <summary>Livecd tool for building alternate livecd for different os and policy versions.</summary>
Chris PeBenito b841df
Chris PeBenito b841df
########################################
Chris PeBenito b841df
## <summary>
Chris PeBenito b841df
##	Execute a domain transition to run livecd.
Chris PeBenito b841df
## </summary>
Chris PeBenito b841df
## <param name="domain">
Chris PeBenito b841df
## <summary>
Chris PeBenito b841df
##	Domain allowed to transition.
Chris PeBenito b841df
## </summary>
Chris PeBenito b841df
## </param>
Chris PeBenito b841df
#
Chris PeBenito b841df
interface(`livecd_domtrans',`
Chris PeBenito b841df
	gen_require(`
Chris PeBenito b841df
		type livecd_t, livecd_exec_t;
Chris PeBenito b841df
	')
Chris PeBenito b841df
Chris PeBenito b841df
	domtrans_pattern($1, livecd_exec_t, livecd_t)
Chris PeBenito b841df
')
Chris PeBenito b841df
Chris PeBenito b841df
########################################
Chris PeBenito b841df
## <summary>
Chris PeBenito b841df
##	Execute livecd in the livecd domain, and
Chris PeBenito b841df
##	allow the specified role the livecd domain.
Chris PeBenito b841df
## </summary>
Chris PeBenito b841df
## <param name="domain">
Chris PeBenito b841df
##	<summary>
Dominick Grift 03b866
##	Domain allowed to transition.
Chris PeBenito b841df
##	</summary>
Chris PeBenito b841df
## </param>
Chris PeBenito b841df
## <param name="role">
Chris PeBenito b841df
##	<summary>
Chris PeBenito b841df
##	Role allowed access.
Chris PeBenito b841df
##	</summary>
Chris PeBenito b841df
## </param>
Chris PeBenito b841df
#
Chris PeBenito b841df
interface(`livecd_run',`
Chris PeBenito b841df
	gen_require(`
Chris PeBenito b841df
		type livecd_t;
Chris PeBenito b841df
	')
Chris PeBenito b841df
Chris PeBenito b841df
	livecd_domtrans($1)
Chris PeBenito b841df
	role $2 types livecd_t;
Dan Walsh 3eaa99
	
Dan Walsh 3eaa99
	seutil_run_setfiles_mac(livecd_t, $2)
Chris PeBenito b841df
Chris PeBenito b841df
	optional_policy(`
Chris PeBenito b841df
		mount_run(livecd_t, $2)
Chris PeBenito b841df
	')
Chris PeBenito b841df
')
Chris PeBenito b841df
Chris PeBenito b841df
########################################
Chris PeBenito b841df
## <summary>
Dan Walsh 3eaa99
##	Dontaudit read/write to a livecd leaks
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`livecd_dontaudit_leaks',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type livecd_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	dontaudit $1 livecd_t:unix_dgram_socket { read write };
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Chris PeBenito b841df
##	Read livecd temporary files.
Chris PeBenito b841df
## </summary>
Chris PeBenito b841df
## <param name="domain">
Chris PeBenito b841df
##	<summary>
Chris PeBenito b841df
##	Domain allowed access.
Chris PeBenito b841df
##	</summary>
Chris PeBenito b841df
## </param>
Chris PeBenito b841df
#
Chris PeBenito b841df
interface(`livecd_read_tmp_files',`
Chris PeBenito b841df
	gen_require(`
Chris PeBenito b841df
		type livecd_tmp_t;
Chris PeBenito b841df
	')
Chris PeBenito b841df
Chris PeBenito b841df
	files_search_tmp($1)
Chris PeBenito b841df
	read_files_pattern($1, livecd_tmp_t, livecd_tmp_t)
Chris PeBenito b841df
')
Chris PeBenito b841df
Chris PeBenito b841df
########################################
Chris PeBenito b841df
## <summary>
Chris PeBenito b841df
##	Read and write livecd temporary files.
Chris PeBenito b841df
## </summary>
Chris PeBenito b841df
## <param name="domain">
Chris PeBenito b841df
##	<summary>
Chris PeBenito b841df
##	Domain allowed access.
Chris PeBenito b841df
##	</summary>
Chris PeBenito b841df
## </param>
Chris PeBenito b841df
#
Chris PeBenito b841df
interface(`livecd_rw_tmp_files',`
Chris PeBenito b841df
	gen_require(`
Chris PeBenito b841df
		type livecd_tmp_t;
Chris PeBenito b841df
	')
Chris PeBenito b841df
Chris PeBenito b841df
	files_search_tmp($1)
Dan Walsh 3eaa99
	rw_files_pattern($1, livecd_tmp_t, livecd_tmp_t)
Chris PeBenito b841df
')
Chris PeBenito b841df
Chris PeBenito b841df
########################################
Chris PeBenito b841df
## <summary>
Chris PeBenito b841df
##	Allow read and write access to livecd semaphores.
Chris PeBenito b841df
## </summary>
Chris PeBenito b841df
## <param name="domain">
Chris PeBenito b841df
##	<summary>
Chris PeBenito b841df
##	Domain allowed access.
Chris PeBenito b841df
##	</summary>
Chris PeBenito b841df
## </param>
Chris PeBenito b841df
#
Chris PeBenito b841df
interface(`livecd_rw_semaphores',`
Chris PeBenito b841df
	gen_require(`
Chris PeBenito b841df
		type livecd_t;
Chris PeBenito b841df
	')
Chris PeBenito b841df
Chris PeBenito b841df
	allow $1 livecd_t:sem { unix_read unix_write associate read write };
Chris PeBenito b841df
')