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 版本發佈,開始編寫正式的形式化規範。