Many tools exist which can decode EDID.
On Ubuntu you can use edid-decode.
The ouput is below...
edid_sRT.txt
/* cut binary dump*/
EDID version: 1.4
Manufacturer: SEC Model 12610 Serial Number 0
Made in year 2011
Digital display
8 bits per primary color channel
Digital interface is not defined
Maximum image size: 23 cm x 13 cm
Gamma: 2.20
Supported color formats: RGB 4:4:4, YCrCb 4:4:4
First detailed timing includes the native pixel format and preferred refresh rate
Color Characteristics
Red: 0.5800, 0.3398
Green: 0.3095, 0.5498
Blue: 0.1552, 0.1552
White: 0.3134, 0.3291
Established Timings I & II: none
Standard Timings: none
Detailed mode: Clock 71.980 MHz, 235 mm x 132 mm
1366 1380 1436 1542 ( 14 56 106)
768 769 772 778 ( 1 3 6)
-hsync -vsync
VertFreq: 60.000 Hz, HorFreq: 46.680 kHz
Manufacturer-Specified Display Descriptor (0x0f): 00 0f 00 00 00 00 00 00 00 00 00 44 dc 03 74 00 ...........D..t.
Alphanumeric Data String: SAMSUNG
Alphanumeric Data String: 106AL01-001
Checksum: 0x7e
Translated to devicetree
WIP
At the we use a samsung display with same resolution and similar timings which works.
But to optimize the devicetree someone has to decode EDID to panel-timings
GPIOs
Controlling the following GPIOs from UEFI Shell gave the result below. The GPIOs were extracted from ACPI