闘うプログラマー読むと、NT kernelはCで書いてあるっぽいんだけど。