hal_client_domain(hal_secure_element_default, hal_nfc)

get_prop(hal_secure_element, vendor_secure_element_prop)
allow hal_secure_element_default nxpnfc_hwservice:hwservice_manager find;
add_hwservice(hal_secure_element_default, nxpese_hwservice)

allow hal_secure_element_default secure_element_vendor_data_file:dir create_dir_perms;
allow hal_secure_element_default secure_element_vendor_data_file:file create_file_perms;

allow hal_secure_element_default debugfs_ipc:dir search;