1 # health info abstraction 2 type hal_health_default, domain; 3 hal_server_domain(hal_health_default, hal_health) 4 5 type hal_health_default_exec, exec_type, vendor_file_type, file_type; 6 init_daemon_domain(hal_health_default) 7
