pub const DEBUG_ATTACH_LOCAL_KERNEL: u32 = 1u32;