FSGSBASE_GDT

sel4_config::consts

Constant FSGSBASE_GDT 

Source 
pub const FSGSBASE_GDT: bool = false;