1pixel_bugreport(dump_trusty)
2
3allow dump_trusty trusty_log_device:chr_file r_file_perms;
4allow dump_trusty vendor_toolbox_exec:file execute_no_trans;
5