policy_module(mono,1.1.0)

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

#

# Declarations

#

type mono_t;

domain_type(mono_t)

type mono_exec_t;

domain_entry_file(mono_t,mono_exec_t)

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

#

# Local policy

#

ifdef(`targeted_policy',`

	allow mono_t self:process { execheap execmem };

	unconfined_domain_noaudit(mono_t)

	role system_r types mono_t;

')