Full kernel.cpp debugging