専用OS、3つの選択肢――Unikernel、Microkernel、Exokernelとは？（関連情報）：高性能CPUや高速スケールアウトが必要なら