1binder_call(hal_gatekeeper_client, hal_gatekeeper_server)
2
3add_hwservice(hal_gatekeeper_server, hal_gatekeeper_hwservice)
4allow hal_gatekeeper_client hal_gatekeeper_hwservice:hwservice_manager find;
5
6# TEE access.
7allow hal_gatekeeper tee_device:chr_file rw_file_perms;
8allow hal_gatekeeper ion_device:chr_file r_file_perms;
9