1 type hal_bluetooth_sim, domain; 2 type hal_bluetooth_sim_exec, exec_type, vendor_file_type, file_type; 3 4 hal_server_domain(hal_bluetooth_sim, hal_bluetooth) 5 6 init_daemon_domain(hal_bluetooth_sim) 7