LinuxのカーネルはCで書かれていたのか。高級言語で、カーネルが書けるん
だな。