type gnss_check, domain;
type gnss_check_exec, exec_type, vendor_file_type, file_type;

init_daemon_domain(gnss_check);

allow gnss_check vendor_toolbox_exec:file { execute_no_trans };

set_prop(gnss_check, ctl_stop_prop);
set_prop(gnss_check, ctl_start_prop);