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