Update judge kernel