Code Editor : kernel.h