kernel todo