HDMI
in Linux
HDMI出力側（PC）と入力側（ディスプレイ）でいくつかの信号をやり取りする
#gstreamer に色々書いた
任意の EDID を Linux Kernel に読み込ませる方法 で v4l2で使えるEDID fileの作り方が記載されている。
記事にあるHOWTO.txt はこれ https://www.kernel.org/doc/Documentation/EDID/HOWTO.txt
いろいろやったけどめんどくさくなったので、Raspberry Piを映したいディスプレイに刺してDISPLAYバイナリ持ってくるのが早かった