>>1
4K対応だとすると、「TVへの出力」時に4Kレンダリングも本体でやらねばならず
構成的に言うと無駄な感じがするので、
ドック内にもTegra X2が入っていて、そちらのTegraは4Kのレンダリング専門で
ドックのCPUは本体とドックのGPUの間のデータトランスファーに使われていたりして
そうであれば、TVと本体で別々なものも表示可能