debug kernel_linux
