modified:   src/kernel.cpp