1type mediaswcodec, domain;
2type mediaswcodec_exec, system_file_type, exec_type, file_type;
3
4hal_server_domain(mediaswcodec, hal_codec2)
5
6# mediaswcodec may use an input surface from a different Codec2 service or an
7# OMX service
8hal_client_domain(mediaswcodec, hal_codec2)
9hal_client_domain(mediaswcodec, hal_omx)
10
11hal_client_domain(mediaswcodec, hal_allocator)
12hal_client_domain(mediaswcodec, hal_graphics_allocator)
13
14get_prop(mediaswcodec, device_config_media_native_prop)
15
16crash_dump_fallback(mediaswcodec)
17
18# mediaswcodec_server should never execute any executable without a
19# domain transition
20neverallow mediaswcodec { file_type fs_type }:file execute_no_trans;
21
22# Media processing code is inherently risky and thus should have limited
23# permissions and be isolated from the rest of the system and network.
24# Lengthier explanation here:
25# https://android-developers.googleblog.com/2016/05/hardening-media-stack.html
26neverallow mediaswcodec domain:{ tcp_socket udp_socket rawip_socket } *;
27
28