Bada
サムスンにとってBadaはオペレーティングシステムと定義していないが、プロプライエタリリアルタイムオペレーティングシステムハイブリッドのカーネルかLinuxカーネルのどちらかが使えるカーネル設定可能アーキテクチャのプラットフォームとしている。Samsung Wave S8500の著作権表示画面によればBadaはFreeBSD、NetBSD、OpenBSDのコードを使用していることになっている。多数の提言にもかかわらず、現在までLinuxカーネル上で動くbada搭載端末は知られていない。同様に、EFLにおいてbadaはTizenと同じまたは類似するグラフィックスタックを使用している証拠もない。
「デバイスレイヤー」はグラフィック、プロトコル、テレフォニー、セキュリティといった中核機能を提供する。「サービスレイヤー」はSMS、地図作成、アプリ内課金(In-App Purchasing)といったよりサービス中心の機能を提供、別名「badaサーバー」とも呼ばれる。トップレイヤーである「フレームワークレイヤー」はアプリケーション開発者が使用するC++のアプリケーションプログラミングインタフェース(API)を提供する。
Badaは開発者に数種類のユーザインターフェイスコントロールを提供しており、オープンソースのWebkitで動くウェブブラウザに対応するリストボックス、カラーピッカー、タブといった標準的なユーザインターフェイスコントロールのセットが提供され、Bada2.