I was keeping it open, but I don’t think it’s safe for use in production. There are different cases as well as different carrier boards you can choose from. Take a look at the list of companies here: https://developer.nvidia.com/embedded/community/ecosystem
See the list of ports of the SDK here: https://www.nvidia.com/object/jetson-tk1-embedded-dev-kit.html
It has 1 full size HDMI.