<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
</span> I meant -- what hardware generates that signal?<br>
<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div>The Linux system is an Nvidia Jetson TX1 developer kit, running Ubuntu 16.04. The output is done over the board's HDMI (2.1, type A) port, either direct into the recorder or through an AJA HA5-4K HDMI to SDI converter.</div></div></div></div>