esp_idf_sys

Constant PSA_WANT_ALG_SHA_512

Source 
pub const PSA_WANT_ALG_SHA_512: u32 = 1;