## <summary>VMWare Workstation virtual machines</summary>

########################################

## <summary>

##	Role access for vmware

## </summary>

## <param name="role">

##	<summary>

##	Role allowed access

##	</summary>

## </param>

## <param name="domain">

##	<summary>

##	User domain for the role

##	</summary>

## </param>

#

interface(`vmware_role',`

	gen_require(`

		type vmware_t, vmware_exec_t;

	')

	role $1 types vmware_t;

	# Transition from the user domain to the derived domain.

	domtrans_pattern($2, vmware_exec_t, vmware_t)

	# allow ps to show vmware and allow the user to kill it 

	ps_process_pattern($2, vmware_t)

	allow $2 vmware_t:process signal;

')

########################################

## <summary>

##	Read VMWare system configuration files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`vmware_read_system_config',`

	gen_require(`

		type vmware_sys_conf_t;

	')

	allow $1 vmware_sys_conf_t:file { getattr read };

')

########################################

## <summary>

##	Append to VMWare system configuration files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`vmware_append_system_config',`

	gen_require(`

		type vmware_sys_conf_t;

	')

	allow $1 vmware_sys_conf_t:file append;

')

########################################

## <summary>

##	Append to VMWare log files.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`vmware_append_log',`

	gen_require(`

		type vmware_log_t;

	')

	logging_search_logs($1)

	append_files_pattern($1, vmware_log_t, vmware_log_t)

')