The "getedid" only exists for x86 and RPi ATM, but we ship some internal helper scripts (beware: that may change in the future) that may help you:
dump-active-edids checks for connected HDMI ports, writes the edid to /storage/.config/edid/edid-<CONNECTOR-NAME>.bin and prints the connectors.
eg here on RPi4:
xbmc:~ # dump-active-edids
found active connector(s) HDMI-A-1
xbmc:~ # ls -l /storage/.config/firmware/edid/edid-HDMI-A-1.bin
-rw-r--r-- 1 root root 256 Dec 7 19:21 /storage/.config/firmware/edid/edid-HDMI-A-1.bin
create-edid-cpio creates /flash/edid.cpio with the edids from
/storage/.config/firmware/edid/
eg:
xbmc:~ # create-edid-cpio
successfully created /flash/edid.cpio
Now there's two things left to configure manually:
Adjust the kernel command line, configure the connector to use the edid file and the tell the video subsystem to ignore the hotplug (i.e. connected) signal of the HDMI connector.
eg here on RPi4 the following is added:
drm.edid_firmware=HDMI-A-1:edid/edid-HDMI-A-1.bin video=HDMI-A-1:D
And you also need to configure the bootloader to load edid.cpio as an initrd.
eg here on RPi4 (with very different bootloader than Rockchip, Allwinner etc) it adds this line:
I don't have any rockchip boards set up at the moment so I can't tell you exactly which file you have to modify (might be /flash/extlinux/extlinux.conf) - hopefully some other users or devs can chime in here.
so long,
Hias