>>> Samsung has released its own OS kernel.

>> Which one would that be?

> The Bada RTOS kernel. Bada could be run on top of a Linux kernel
> too but there are no devices in the wild that do AFAIK.

Thanks. Until now I wasn't aware of Bada's RTOS kernel.