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]。
One OS/GUI[編輯 | 編輯原始碼]
- 僅提供最基本的繪圖函數，超輕量級，不佔用任何額外RAM；
- 所有繪圖邏輯由用戶完成；
- 支持多種控件繪製，例如標籤、按鈕、單選框、多選框等等。
CPU架構支持[編輯 | 編輯原始碼]
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 版本發佈，開始編寫正式的形式化規範。