Samsung Bada

ROAさんの無料レポートによるとBadaってNucleus OSっていうRTOSのカスタマイズ版らしい。
http://www.bada.com/ に開発者情報もあるみたいだが・・・時間が^^;

サムスンの独自プラットフォームと発表された Bada であるが、実際のところは独自プラットフォー ムではない。具体的には、メンター・グラフィックス(Mentor Graphics)のリアルタイム OS(RTOS) である Nucleus OS をカスタマイズしたプラットフォームであると見られる。(中略)
Bada では、表面的に RTOS と UI フレームワークをアプリケーションに搭載・駆動できるように進化させている。OS の核心カーネルは、Linuxにも取り替えることができる。