1type hal_allocator_default, domain, coredomain; 2hal_server_domain(hal_allocator_default, hal_allocator) 3 4type hal_allocator_default_exec, exec_type, file_type; 5init_daemon_domain(hal_allocator_default) 6