Code Editor : flash-kernel