1 hal_client_domain(hal_secure_element_default, hal_nfc) 2 3 get_prop(hal_secure_element, vendor_secure_element_prop) 4 allow hal_secure_element_default nxpnfc_hwservice:hwservice_manager find; 5 add_hwservice(hal_secure_element_default, nxpese_hwservice) 6 7 allow hal_secure_element_default secure_element_vendor_data_file:dir create_dir_perms; 8 allow hal_secure_element_default secure_element_vendor_data_file:file create_file_perms; 9 10 allow hal_secure_element_default debugfs_ipc:dir search; 11
