For now - yes.

But we thinking about rewriting Linux Kernel in pure python.