1# HwBinder IPC from client to server
2binder_call(hal_keymaster_client, hal_keymaster_server)
3
4add_hwservice(hal_keymaster_server, hal_keymaster_hwservice)
5allow hal_keymaster_client hal_keymaster_hwservice:hwservice_manager find;
6
7allow hal_keymaster tee_device:chr_file rw_file_perms;
8allow hal_keymaster ion_device:chr_file r_file_perms;
9