I've run into a problem setting display modes. I'm attempting to output
3840x2160 @ 60Hz to a hardware recorder but the standard modes for 60Hz and
59.94Hz actually come out to 60.02Hz and 59.98Hz. EDID data has 1080p@60 as
it's preferred mode, and scaling the numbers up leads to the same rounding
>
> And what is the hardware you are trying to setup?
>
The recorder is an Atomos Shogun Inferno. It has HDMI 2.1 as well as quad
SDI inputs.
How pixel clock is defined there? With ~300 kHz steps?
>
Pixel clock is defined as a number of picoseconds.
> What modelines got you 60.02 and 59.98 H
>
>
> 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.
_
I'm working with an output device that normally takes in SDI inputs. I am
using an HDMI to SDI converter, but it means that the EDID information
reported over HDMI is inaccurate to the output device. If I attempt to boot
with X11 auto-detecting everything, it doesn't work (blank screen with
low-res
