policy_module(tboot, 1.1.0)

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

attribute_role txtstat_roles;
roleattribute system_r txtstat_roles;

type txtstat_t;
type txtstat_exec_t;
application_domain(txtstat_t, txtstat_exec_t)
role txtstat_roles types txtstat_t;

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

dev_read_raw_memory(txtstat_t)

domain_use_interactive_fds(txtstat_t)
userdom_use_user_terminals(txtstat_t)