type vendor_mfp-daemon, domain;
type vendor_mfp-daemon_exec, exec_type, vendor_file_type, file_type;
type vendor_fingerprint_data_file, data_file_type, file_type;
type vendor_fingerprint_device, dev_type;
type vendor_fp_prop, vendor_public_property_type, vendor_property_type, property_type;
type vendor_fp_info_prop, vendor_public_property_type, vendor_property_type, property_type;

hal_server_domain(vendor_mfp-daemon, hal_fingerprint)
init_daemon_domain(vendor_mfp-daemon)

set_prop(vendor_mfp-daemon, vendor_fp_prop)
set_prop(vendor_mfp-daemon, vendor_fp_info_prop)

allow vendor_mfp-daemon vendor_fingerprint_data_file:dir create_dir_perms;
allow vendor_mfp-daemon vendor_fingerprint_data_file:file create_file_perms;
allow vendor_mfp-daemon tee_device:chr_file rw_file_perms;
allow vendor_mfp-daemon vendor_fingerprint_device:chr_file rwx_file_perms;
allow vendor_mfp-daemon fingerprint_vendor_data_file:dir create_dir_perms;
allow vendor_mfp-daemon fingerprint_vendor_data_file:file create_file_perms;
allow vendor_mfp-daemon input_device:dir r_dir_perms;
allow vendor_mfp-daemon input_device:chr_file rw_file_perms;