policy_module(mono, 1.7.0)

########################################
#
# Declarations
#

type mono_t;
type mono_exec_t;
application_type(mono_t)
init_system_domain(mono_t, mono_exec_t)

########################################
#
# Local policy
#

allow mono_t self:process { ptrace signal getsched execheap execmem execstack };

init_dbus_chat_script(mono_t)

userdom_user_home_dir_filetrans_user_home_content(mono_t, { dir file lnk_file fifo_file sock_file })

optional_policy(`
	avahi_dbus_chat(mono_t)
')

optional_policy(`
	cups_dbus_chat(mono_t)
')

optional_policy(`
	hal_dbus_chat(mono_t)
')

optional_policy(`
	networkmanager_dbus_chat(mono_t)
')

optional_policy(`
	rpm_dbus_chat(mono_t)
')

optional_policy(`
	unconfined_domain(mono_t)
	unconfined_dbus_chat(mono_t)
	unconfined_dbus_connect(mono_t)
')

optional_policy(`
	xserver_rw_shm(mono_t)
')