esp_idf_sys

Constant CONFIG_PTHREAD_STACK_MIN

Source 
pub const CONFIG_PTHREAD_STACK_MIN: u32 = 768;