-policy_module(bf1942, 0.1.4)
+policy_module(bf1942, 0.1.5)
# File context for the executable process
type bf1942_t;
kernel_read_system_state(bf1942_t)
allow bf1942_t self:process execmem;
+
+# The BF1942 binary executes itself
+allow bf1942_t bf1942_exec_t:file execute_no_trans;