binder_call(hal_keymint_client, hal_keymint_server)

hal_attribute_service(hal_keymint, hal_keymint_service)
hal_attribute_service(hal_keymint, hal_remotelyprovisionedcomponent_service)
binder_call(hal_keymint_server, servicemanager)

allow hal_keymint tee_device:chr_file rw_file_perms;
allow hal_keymint ion_device:chr_file r_file_perms;