専用OS、3つの選択肢――Unikernel、Microkernel、Exokernelとは？

専用OS、3つの選択肢――Unikernel、Microkernel、Exokernelとは？