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