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バイナリ持ってくるのが早かった