# HwBinder IPC from client to server
binder_call(hal_keymaster_client, hal_keymaster_server)

allow hal_keymaster tee_device:chr_file rw_file_perms;
allow hal_keymaster tee:unix_stream_socket connectto;

allow hal_keymaster ion_device:chr_file r_file_perms;