| # Google Mediacodec |
| type mediacodec_google, domain; |
| type mediacodec_google_exec, exec_type, vendor_file_type, file_type; |
| |
| init_daemon_domain(mediacodec_google) |
| |
| hal_server_domain(mediacodec_google, hal_codec2) |
| |
| hal_client_domain(mediacodec_google, hal_graphics_allocator) |
| |
| add_service(mediacodec_google, eco_service) |
| binder_call(mediacodec_google, hal_camera_default) |
| |
| allow mediacodec_google dmabuf_system_heap_device:chr_file r_file_perms; |
| allow mediacodec_google video_device:chr_file { read write open ioctl map }; |
| allow mediacodec_google gpu_device:chr_file rw_file_perms; |
| |
| # mediacodec_google should never execute any executable without a domain transition |
| neverallow mediacodec_google { file_type fs_type }:file execute_no_trans; |
| |
| # Media processing code is inherently risky and thus should have limited |
| # permissions and be isolated from the rest of the system and network. |
| # Lengthier explanation here: |
| # https://android-developers.googleblog.com/2016/05/hardening-media-stack.html |
| neverallow mediacodec_google domain:{ udp_socket rawip_socket } *; |
| neverallow mediacodec_google { domain userdebug_or_eng(`-su') }:tcp_socket *; |
| |
| # Allow HAL to send trace packets to Perfetto |
| userdebug_or_eng(`perfetto_producer(mediacodec_google)') |
| |
| userdebug_or_eng(` |
| allow mediacodec_google vendor_media_data_file:dir rw_dir_perms; |
| allow mediacodec_google vendor_media_data_file:file create_file_perms; |
| ') |