type hal_mlipay_default, domain;
type hal_mlipay_default_exec, exec_type, vendor_file_type, file_type;

add_hwservice(hal_mlipay_default, hal_mlipay_hwservice)
get_prop(hal_mlipay_default, hwservicemanager_prop)
init_daemon_domain(hal_mlipay_default)
hwbinder_use(hal_mlipay_default)
r_dir_file(hal_mlipay_default, firmware_file)
get_prop(hal_mlipay_default, hal_fingerprint_prop);
set_prop(hal_mlipay_default, mlipay_prop);

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