1type fwk_bufferhub, domain, coredomain;
2type fwk_bufferhub_exec, system_file_type, exec_type, file_type;
3
4hal_client_domain(fwk_bufferhub, hal_graphics_allocator)
5allow fwk_bufferhub ion_device:chr_file r_file_perms;
6
7hal_server_domain(fwk_bufferhub, hal_bufferhub)
8init_daemon_domain(fwk_bufferhub)
9