One OS
| 开发者 | One OS信任开发者 |
|---|---|
| 操作系统家族 | w:实时操作系统 |
| 运作状态 | 稳定 |
| 源码模式 | w:开放原始码 |
| 最新版本 | 0.0.9 |
| 市场取向 | w:嵌入式系统 |
| 支援平台 | ARM (ARM7, ARM9, Cortex-M3, Cortex-R4, Cortex-M4, Cortex-A), x86等 |
| 内核类别 | w:Single Kernel |
| 默认用户界面 | One GUI |
| 许可证 | w:LGPLv3+ |
| 官方网站 | 官方网站 |
One OS是一款完全自主知识产权的开源w:实时操作系统（许可证LGPL v3+）。它的开发工作主要是由中国开源社区完成的。它仅仅专注于提供一个经由形式化证明的高效可靠的小内核，并携带非常少的其他组件。One OS的所有代码都位于一个C源文件内，并且内置了轻量级图形界面和基于二级分割适配（TLSF）的内存分配器[1]。
- 仅提供最基本的绘图函数，超轻量级，不占用任何额外RAM；
- 所有绘图逻辑由用户完成；
- 支持多种控件绘制，例如标签、按钮、单选框、多选框等等。
One OS支持下列架构： ARM
IA32(X86)
MIPS
MSP430
- MSP430
- MSP430X
- RV32G
- PIC24
- PIC33
- 2018年2月11日，V0.0.1 预览版本发布，仅具备基本的线程管理和内存分配器。
- 2018年3月29日，V0.0.2 版本发布，加入轻量化图形界面部分，并实现了FXAA抗锯齿处理。
- 2018年5月20日，V0.0.3 版本发布，完成全逻辑分支白盒测试。这是一个稳定版本，消除了通过常规测试手段能够除去的一切错误。
- 2018年6月10日，V0.0.4 版本发布，开始编写正式的形式化规范。