1# Google Mediacodec
2type mediacodec_google, domain;
3type mediacodec_google_exec, exec_type, vendor_file_type, file_type;
4
5init_daemon_domain(mediacodec_google)
6
7hal_server_domain(mediacodec_google, hal_codec2)
8
9hal_client_domain(mediacodec_google, hal_graphics_allocator)
10
11add_service(mediacodec_google, eco_service)
12binder_call(mediacodec_google, hal_camera_default)
13
14allow mediacodec_google dmabuf_system_heap_device:chr_file r_file_perms;
15allow mediacodec_google video_device:chr_file { read write open ioctl map };
16allow mediacodec_google gpu_device:chr_file rw_file_perms;
17
18# mediacodec_google should never execute any executable without a domain transition
19neverallow mediacodec_google { file_type fs_type }:file execute_no_trans;
20
21# Media processing code is inherently risky and thus should have limited
22# permissions and be isolated from the rest of the system and network.
23# Lengthier explanation here:
24# https://android-developers.googleblog.com/2016/05/hardening-media-stack.html
25neverallow mediacodec_google domain:{ udp_socket rawip_socket } *;
26neverallow mediacodec_google { domain userdebug_or_eng(`-su') }:tcp_socket *;
27
28# Allow HAL to send trace packets to Perfetto
29userdebug_or_eng(`perfetto_producer(mediacodec_google)')
30
31userdebug_or_eng(`
32 allow mediacodec_google vendor_media_data_file:dir rw_dir_perms;
33 allow mediacodec_google vendor_media_data_file:file create_file_perms;
34')
35