/dev/mali0              u:object_r:gpu_device:s0
/dev/ump              u:object_r:gpu_device:s0
/dev/mv500              u:object_r:vpu_device:s0

# System files
/system/bin/setcpuset\.sh      u:object_r:setcpuset-sh_exec:s0

# files for optee
/system/bin/tee-supplicant      u:object_r:optee_exec:s0
/dev/teepriv0                   u:object_r:optee_dev:s0
/data/tee(/.*)?           u:object_r:optee_data_file:s0
/dev/tee0           u:object_r:tee_device:s0