type hal_motor_hwservice_xiaomi, hwservice_manager_type;
type hall_device, dev_type;
type motor_device, dev_type;

type hal_motor_default, domain;
hal_server_domain(hal_motor_default, hal_motor)

binder_call(hal_motor_client, hal_motor_server)

type hal_motor_default_exec, exec_type, vendor_file_type, file_type;
init_daemon_domain(hal_motor_default)

add_hwservice(hal_motor_server, hal_motor_hwservice_xiaomi)
allow hal_motor_client hal_motor_hwservice_xiaomi:hwservice_manager find;

allow hal_motor_default hall_device:chr_file rw_file_perms;
allow hal_motor_default motor_device:chr_file rw_file_perms;

allow hal_motor_default persist_sensors_file:dir search;
allow hal_motor_default persist_sensors_file:file r_file_perms;

allow hal_motor_default mnt_vendor_file:dir { search };

vndbinder_use(hal_motor_default)