以下の4つが思い浮かびました。
MicroC/OS-II : 無料でシンプルですが、利用できる優れたリソースが少なすぎると思います
LibeRTOS : 私はそれをお勧めします。さまざまなプロジェクトで数回使用しました。高速で、デュアル カーネルのコンセプトは非常によくできています。
RTLinux : それについては多くを語ることはできません。非常に小規模なプロジェクトで 1 回だけ使用し、「舞台裏」について詳しくは説明しませんでしたが、高速で信頼性がありました。(そして非常に高価)
VxWorks : 素晴らしい OS... ウィキペディアから:
- プリエンプティブおよびラウンドロビン スケジューリングと高速割り込み応答を備えたマルチタスク カーネル
- ユーザー アプリケーションをカーネルから分離するためのメモリ保護
- SMP サポート
- TIPC を含む高速で柔軟なプロセス間通信
- エラー処理フレームワーク
- 優先順位の継承を伴うバイナリ、カウンティング、および相互排除セマフォ
- ローカルおよび分散メッセージ キュー
- ANSI C に完全に準拠し、例外処理とテンプレートのサポートのための強化された C++ 機能
- POSIX PSE52認定準拠
- ファイルシステム。
- IPv6 ネットワーク スタック
- VxSim シミュレーター
- サポート: C/C++/JAVA
お金に問題がない場合: VxWorks を使用してください。何でもできます: 冷蔵庫をアップグレードしたり、戦争機械を作ったり、火星に飛んだり ;-)
それ以外の場合は、LiberRTOS をチェックしてください...