1binder_call(hal_gatekeeper_client, hal_gatekeeper_server) 2 3hal_attribute_hwservice(hal_gatekeeper, hal_gatekeeper_hwservice) 4hal_attribute_service(hal_gatekeeper, hal_gatekeeper_service) 5binder_call(hal_gatekeeper_server, servicemanager) 6 7# TEE access. 8allow hal_gatekeeper tee_device:chr_file rw_file_perms; 9allow hal_gatekeeper ion_device:chr_file r_file_perms; 10