pub type ObjectBlueprintSeL4Arch = ObjectBlueprintX64;
pub enum ObjectBlueprintSeL4Arch { HugePage, PDPT, PML4, }