1 2 3
type hal_iop_default, domain, mlstrustedsubject; type hal_iop_default_exec, exec_type, vendor_file_type, file_type; init_daemon_domain(hal_iop_default)