Constant esp_idf_sys::XCHAL_KERNEL_VECOFS

pub const XCHAL_KERNEL_VECOFS: u32 = 768;