type init-bullhead-qseecomd-sh, domain;
type init-bullhead-qseecomd-sh_exec, exec_type, file_type;

init_daemon_domain(init-bullhead-qseecomd-sh)

get_prop(init-bullhead-qseecomd-sh, qseecomtee_prop)

allow init-bullhead-qseecomd-sh shell_exec:file rx_file_perms;

# execute toybox/toolbox
allow init-bullhead-qseecomd-sh toolbox_exec:file rx_file_perms;