2018-10-20 18:33:41 -07:00
|
|
|
type fwk_bufferhub, domain, coredomain;
|
|
|
|
|
type fwk_bufferhub_exec, system_file_type, exec_type, file_type;
|
|
|
|
|
|
2018-11-06 14:31:45 -08:00
|
|
|
hal_client_domain(fwk_bufferhub, hal_graphics_allocator)
|
|
|
|
|
allow fwk_bufferhub ion_device:chr_file r_file_perms;
|
|
|
|
|
|
2018-10-20 18:33:41 -07:00
|
|
|
hal_server_domain(fwk_bufferhub, hal_bufferhub)
|
|
|
|
|
init_daemon_domain(fwk_bufferhub)
|
