type hal_gnss_default, domain;
hal_server_domain(hal_gnss_default, hal_gnss)
hal_server_domain(hal_gnss_default, hal_wifi)
net_domain(hal_gnss_default)

type hal_gnss_default_exec, exec_type, vendor_file_type, file_type;
init_daemon_domain(hal_gnss_default)

allow hal_gnss_default gnss_device:chr_file rw_file_perms;
allow hal_gnss_default vndbinder_device:chr_file { getattr ioctl open read write map };
allow hal_gnss_default console_device:chr_file { getattr ioctl open read write map };
allow hal_gnss_default storage_file:dir { search read open };
allow hal_gnss_default storage_file:file { read open getattr };