1type init_ranchu_device_state, domain; 2type init_ranchu_device_state_exec, vendor_file_type, exec_type, file_type; 3 4init_daemon_domain(init_ranchu_device_state) 5 6# Permission to write to /data/vendor/* 7allow init_ranchu_device_state vendor_data_file:dir create_dir_perms; 8allow init_ranchu_device_state vendor_data_file:file create_file_perms; 9 10# Allow write to /dev/kmsg 11allow init_ranchu_device_state kmsg_debug_device:chr_file { w_file_perms getattr ioctl }; 12