回答:
多くのオープンソースオプションがあります。
上記のほとんどには、商用バージョンもあります。あなたがオープンソース製品にもっと興味があると思うので、私はそこにある厳密に商用のRTOSをリストしませんでした。
FreeRTOSは人気のある選択肢です。
FreescaleはMQXをKinetisマイクロコントローラーのラインに移植しました。このラインには、Cortex-M4とCortex-M0が含まれます。Freescaleは、Kinetisで使用する場合、MQXのライセンスを提供します。Kinetis以外のCortexでそのまま実行できるかどうかはわかりません。
Emcraft Systemsは、Cortex-M3およびCortex-M4 MCUにLinux（uCLinux）ディストリビューションを提供することに特化しています。
Emcraftは、商用（ただし非常に低コスト）のソフトウェア配布とさまざまなCortex-M評価ボード/システムオンモジュール（SOM）を提供するだけでなく、Cortex-用のU-BootおよびuClinuxカーネルポートの完全なソースも配布しています。 github.com./のM3およびM4
SAFERTOSとOPENRTOSはHigh Integrity SystemsからCortex-M3に移植されており、無料で評価できます。http://www.highintegritysystems.com/
大学で使用されているuClinuxについて知っています。もう1つは名前を覚えていません。
このページでいくつかのリンクを確認できますが、これは利用可能なプラットフォームの詳細です。それらのいくつかは特定のマイクロコントローラーを参照しますが、それらのどれがCM3であるかを見つけることができます。TIStellaris、ST STM32、NXP LPC1700はいくつかです。
編集：特定のマイクロコントローラーについては読みませんでした。私が言ったように、uClinuxは私の大学の研究プロジェクトのSTM32マイクロコントローラーで使用されています。