pub const cpu_driver_higher_half_address = 0xffff_8000_0000_0000;
pub const cpu_driver_start = 0xffff_ffff_8000_0000;
pub const real_hardware = false;
pub const safe_slow = false;
pub const timeslicing = true;
pub const enable_smp = false;
