HUGE_PAGE

sel4_config::consts

Constant HUGE_PAGE 

Source 
pub const HUGE_PAGE: bool = true;