pub const KERNEL_MAPPED_SIZE: usize = 0x800_0000;