const char* TEE_NAME = "Qualcomm";
const char* TEE_VERSION = "5.2";
const char* FINGERPRINT_SENSOR_NAME = "EGISTEC";
const char* FINGERPRINT_SENSOR_VERSION = "ET510";
