I called to inquire about licensing fees and where I could access development resources. The customer service representative was extremely knowledgeable and directed me to the correct resource. We both enjoyed the conversation. It turns out that Tizen has some security restrictions that prevent me from building apps that do what I need to do without a special relationship with Samsung so I instead will create my own set top box and display my user interface on my box plugged into the hdmi arc port