> > > I meant -- what hardware generates that signal? > > 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.
_______________________________________________ xorg@lists.x.org: X.Org support Archives: http://lists.freedesktop.org/archives/xorg Info: https://lists.x.org/mailman/listinfo/xorg Your subscription address: %(user_address)s