pub const DEBUG_KERNEL_CONNECTION: u32 = 0u32;