あと5年くらいしたらマイクロカーネルの強力なOSが出てくるだろうか