pub const TEE_ALG_SHA256: u32 = 1342177284;