type system_teecd, domain, coredomain;
type system_teecd_exec, exec_type, file_type,system_file_type;
attribute hal_libteec;
attribute hal_ext_libteec_hwservice_attr;