1ec3d1a
policy_module(ada, 1.4.0)
1ec3d1a
1ec3d1a
########################################
1ec3d1a
#
1ec3d1a
# Declarations
1ec3d1a
#
1ec3d1a
1ec3d1a
type ada_t;
1ec3d1a
type ada_exec_t;
1ec3d1a
application_domain(ada_t, ada_exec_t)
1ec3d1a
role system_r types ada_t;
1ec3d1a
1ec3d1a
########################################
1ec3d1a
#
1ec3d1a
# Local policy
1ec3d1a
#
1ec3d1a
1ec3d1a
allow ada_t self:process { execstack execmem };
1ec3d1a
1ec3d1a
userdom_use_inherited_user_terminals(ada_t)
1ec3d1a
1ec3d1a
optional_policy(`
1ec3d1a
	unconfined_domain(ada_t)
1ec3d1a
')