Kernel.cpp debugging