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