引入成熟的微内核技术改良reactos。reactos作为NT兼容操作系统计划一直在为内核优化改良付出巨大的努力。但是为兼容NT操作系统应用已经分散大量精力。何不利用下外部项目的先进成果。应用sel4微内核的高度安全特性打造ntoskrnl模块的稳固。进而把精力用于继续兼容windows应用，或者引入posix子用户层兼容UNIX/Linux软件。
----------------------------
一个宣称是“世界上最可靠的操作系统”的、由澳大利亚开发的SecureEmbeddedL4(简称seL4)微内核现在面向全球开源了。L4是一组基于微内核构架的操作系统内核。五年前,澳大利亚研究组织NICTA创造了一个新的L4版本,称为SecureEmbeddedL4,宣布在世界上率先开发出第一个正规机器检测证明(formalmachine-checkedproof)通用操作系统。seL4微内核设计针对实时应用,可潜在应用于强调安全和关键性任务的领域内,如军用和医疗行业。该系统的
一个宣称是“世界上最可靠的操作系统”的、由澳大利亚开发的 Secure Embedded L4(简称seL4)微内核现在面向全球开源了。
“世界上最可靠的操作系统”seL4开源了！
L4是一组基于微内核构架的操作系统内核。五年前,澳大利亚研究组织NICTA创造了一个新的L4版本,称为 Secure Embedded L4,宣布在世界上率先开发出第一个正规机器检测证明(formal machine-checked proof)通用操作系统。seL4微内核设计针对实时应用,可潜在应用于强调安全和关键性任务的领域内,如军用和医疗行业。
该系统的开源版本包括所有seL4内核的源代码、证明和规范,再加上过去五年中开发的一系列额外程序,如工具、库和可用于建立值得信赖的系统的示例程序。
NICTA软件系统研究组长GernotHeiser表示,今天的关键软件有根本性的弊端。 “通过开放seL4,我们希望为全球的开发人员创建一个可靠的系统社区,其应用领域从国家安全到汽车、机械植入器、工业自动化和企业BYOD”。

有github的大佬帮忙把该意见反馈到reactos的开发组那里。希望能帮上点忙。

相关资料
sel4操作系统编程__2014_10_17
doc in.co m/p-1974239848.ht ml
基于seL4的分区操作系统设计
doc in.co m/p-2119913460.ht ml

Genode操作系統框架提供了一种思路，在sel4内核上运行多套操作系统应用。windows7由于闭源所以用virtualbox把base-hw 内核转换为一个 microhypervisor。开源的reactos可以借鉴经验直接在源码上进行优化。

不氏一个体系的，估计借鉴意义不大。。。
那个sel应该氏应用于嵌入式领域的，类似于vcos之类，并不氏为通用pc设计所用的。
如果氏xp开源，那肯定氏极有参考价值啦。。。