type hal_gnss_pixel, domain;
hal_server_domain(hal_gnss_pixel, hal_gnss)

type hal_gnss_pixel_exec, exec_type, vendor_file_type, file_type;
init_daemon_domain(hal_gnss_pixel)

#IPC between pixel and vendor HAL
binder_call(hal_gnss_pixel, hal_gnss_default)
binder_call(hal_gnss_default, hal_gnss_pixel)

#Read modem state /sys/bus/platform/devices/cpif/modem_state
allow hal_gnss_pixel sysfs_modem_state:file r_file_perms;