policy_module(ada, 1.4.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 };

userdom_use_user_terminals(ada_t)

optional_policy(`

	unconfined_domain(ada_t)

')