pub const DEBUG_ATTACH_KERNEL_CONNECTION: u32 = 0u32;