1type init_radio, domain; 2type init_radio_exec, exec_type, vendor_file_type, file_type; 3 4init_daemon_domain(init_radio); 5 6allow init_radio vendor_toolbox_exec:file execute_no_trans; 7allow init_radio radio_vendor_data_file:dir create_dir_perms; 8allow init_radio radio_vendor_data_file:file create_file_perms; 9