1type securedpud, domain; 2type securedpud_exec, exec_type, vendor_file_type, file_type; 3 4init_daemon_domain(securedpud) 5 6allow securedpud ion_device:chr_file rw_file_perms; 7allow securedpud tee_device:chr_file rw_file_perms; 8