動作するのに最低限の構成のカーネルって、どれくらいの大きさになるの?
options とデバイス削ったら。今でも　500KB くらいにできるんかな?