My guess is it's using Flash Lite (designed for mobile phones) and could well be using an in-house OS, or perhaps Symbian or Linux. Developing yet-another-in-house OS would seem foolhardy these days - what would be the point?

Mini review here which speculates the OS might be Linux - Samsung aren't saying.