1type hal_secure_element_gto, domain; 2type hal_secure_element_gto_exec, exec_type, vendor_file_type, file_type; 3 4hal_server_domain(hal_secure_element_gto, hal_secure_element) 5init_daemon_domain(hal_secure_element_gto) 6