type macloader, domain; type macloader_exec, exec_type, file_type; init_daemon_domain(macloader) type_transition macloader system_data_file:file wifi_data_file; allow macloader efs_file:dir search; allow macloader wifi_efs_file:dir search; allow macloader wifi_efs_file:file { read open getattr }; allow macloader system_data_file:dir { add_name search write };