policy_module(ada,1.2.0)

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

#

# Declarations

#

type ada_t;

type ada_exec_t;

application_domain(ada_t,ada_exec_t)

role system_r types ada_t;

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

#

# Local policy

#

allow ada_t self:process { execstack execmem };

optional_policy(`

	unconfined_domain_noaudit(ada_t)

')