blob: 4bdefb9682d55f00de3ab115c9b88944a7c675f4
1 | type hdmi_cec, domain; |
2 | type hdmi_cec_exec, exec_type, file_type; |
3 | |
4 | init_daemon_domain(hdmi_cec) |
5 | |
6 | binder_use(hdmi_cec); |
7 | binder_call(hdmi_cec, binderservicedomain) |
8 | binder_call(hdmi_cec, appdomain) |
9 | binder_service(hdmi_cec) |
10 | |
11 | allow hdmi_cec system_file:file execute_no_trans; |
12 | allow hdmi_cec hdmi_cec_exec:file { entrypoint read }; |
13 | allow hdmi_cec hdmi_cec_service:service_manager add; |
14 | allow hdmi_cec cec_device:chr_file { open read write ioctl }; |
15 |