kernel runs, but is buggy