The Tizen based Samsung TV SDK 1.0 has been released today. This follows the beta that was previously released at the start of July.
The SDK provides developers with the tools they need to begin developing for the Tizen-based Samsung TV platform. The toolset includes an Integrated Development Environment (IDE) and a Web Simulator for testing TV apps on a PC.
You can download the SDK and installable files for Windows (32-bit / 64-bit), Mac OSX (64-bit) and Linux (32-bit / 64-bit):