単一カーネルの分割化によるセキュリティ強化

単一カーネルアーキテクチャの根本的な弱点である内部カーネルセキュリティの欠如に取り組むため、カーネルの分割化手法を提案する。