Genode OS 作为具有微内核抽象层和其他组件的操作系统框架,Genode OS 框架是一个开源工具包,用于构建高度安全的基于组件的操作系统,它从嵌入式设备扩展到动态通用计算。19.08 已经发布了,更新的内容主要如下:
- Genode OS Framework 19.08 提供了更好的键盘布局支持
- 扩展的 64 位 ARM 支持和 i.MX8 SoC 支持
- 各种 POSIX 兼容性改进
- 新的 SMBIOS 解码器
- 更好的 SSH 终端
- 此版包括 Qt 5.13,以及许多其他更新
系统时间概念:
详情见发布说明: