1type hal_drm_cast, domain;
2type hal_drm_cast_exec, exec_type, vendor_file_type, file_type;
3
4init_daemon_domain(hal_drm_cast)
5hal_server_domain(hal_drm_cast, hal_drm)
6
7allow hal_drm_cast mnt_vendor_file:dir search;
8allow hal_drm_cast persist_file:dir search;
9allow hal_drm_cast device_cert_file:file r_file_perms;
10