1# HwBinder IPC from client to server, and callbacks 2binder_call(hal_cas_client, hal_cas_server) 3binder_call(hal_cas_server, hal_cas_client) 4 5hal_attribute_hwservice(hal_cas, hal_cas_hwservice) 6allow hal_cas_server hidl_memory_hwservice:hwservice_manager find; 7 8# Permit reading device's serial number from system properties 9get_prop(hal_cas_server, serialno_prop) 10 11# Read files already opened under /data 12allow hal_cas system_data_file:file { getattr read }; 13 14# Read access to pseudo filesystems 15r_dir_file(hal_cas, cgroup) 16allow hal_cas cgroup:dir { search write }; 17allow hal_cas cgroup:file w_file_perms; 18 19# Allow access to ion memory allocation device 20allow hal_cas ion_device:chr_file rw_file_perms; 21allow hal_cas hal_graphics_allocator:fd use; 22 23allow hal_cas tee_device:chr_file rw_file_perms; 24 25### 26### neverallow rules 27### 28 29# hal_cas should never execute any executable without a 30# domain transition 31neverallow hal_cas_server { file_type fs_type }:file execute_no_trans; 32 33# do not allow privileged socket ioctl commands 34neverallowxperm hal_cas_server domain:{ rawip_socket tcp_socket udp_socket } ioctl priv_sock_ioctls; 35