1 type init_mid, domain; 2 type init_mid_exec, exec_type, vendor_file_type, file_type; 3 4 init_daemon_domain(init_mid) 5 6 allow init_mid vendor_shell_exec:file rx_file_perms; 7 allow init_mid vendor_toolbox_exec:file rx_file_perms; 8 9 set_prop(init_mid, hw_sku_prop); 10 get_prop(init_mid, mid_prop); 11
