Very few models have public "information" about the firmware. The last fully open system was years ago and based on Linux. You find that on a google search with "Sammygo"
Anyhow, such is how it works today. If you need information you may have to apply pressure to Samsung.
I've found on Samsung's products, but information about firmware of smart TV (series 6) UE40KU6400 is not public.
Can I update firmware of the UE40KU6400 for the UA40KU6400?
Thanks.

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic