There's more to safer systems languages than Rust If you're looking for a Unix-like, POSIX-compatible, real-time kernel, ...

Ironclad OS项目正在开发一个新的类Unix操作系统内核，面向小型嵌入式系统，计划支持实时功能。该项目的独特之处在于采用Ada编程语言及其可形式化验证的SPARK子集进行开发，而非常见的C、C++或Rust语言。项目还包含运行在Ironclad内核上的完整操作系统Gloire，使用GNU工具构建以提供传统Unix兼容性。

There is no way to combine all the different Windows-like Linux desktops into one, or even just three or four. There is no ...