ちょっと、小さなKernelはないかなと探してたらTilckというのを見つけた。
https://github.com/vvaltchev/tilck
A Tiny Linux-Compatible Kernelなんだそうな。
