[augustl]

Bada is not a full OS, it's more like Qt. Bada does contain a kernel out of the box afaik, but the kernel is pluggable. So perhaps Samsung can use Tizen under the hood, and Bada on top.