Hello Fedora Forums!
Bought a used laptop a few weeks ago together with an USB-C dock and a used 4K monitor.
I’ve been using Arch for about 8 years, but this laptop is for my wife so wanted something more reliable so installed Fedora Silverblue 42 on it.
The HDMI output is stuck at 4k@30, most likely due to not having HDMI 2.0, so have been trying to get DP over USB-C working at 4k@60 with the dock.
The display settings in Gnome maxes out at 1440p@60 for my monitor when using DP over the USB-C dock. 4K was not an option at all.
Assumed that this was due some bad EDID in the monitor, so investigated how to override that and found this very nice thread on the fedora forums: Cannot choose 4k60 option for external display
So I put some different EDID files under /usr/lib/firmware/edid
by using rpm-ostree usroverlay
and then applying them by doing e.g. echo 'edid/DELL P2715Q_1095185228.edid' > /sys/module/drm/parameters/edid_firmware
as root. Been using edid-decode to print the settings of each edid file (though, I don’t really understand what most fields mean…). When changing the edid firmware and connected my monitor, I’ve been looking at dmesg to check for errors and it looks fine (except for when I e.g. passed the wrong path to the firmware a few times).
When doing this, some EDID files allowed me to at least 4k@30 on the monitor over DP, but I have yet been unsuccessful at getting 4k@60. Without the EDID firmware override, I’ve only been able to get 4k@30 using HDMI so I was onto something at least.
I’ve been testing a few different EDID files downloaded from the website edid.tv, I searched on that website first for the same model number of my monitor but with an 4k@60 “maximum resolution” such as this edid entry. Then I tried some other newer 27" 4K dell monitor EDID such as this one. These custom EDIDs just allowed me to get 4k@30 under gnome-settings.
I also tried some crazy custom 4k@60 EDID from some random github repo, but when applying that Gnome settings only allowed me to use some strange 4:3 ~1000x1000 resolution…
At this point I have concluded that the EDID on my monitor is probably wrong, but even with that in mind there seems to be something else limiting me to get 60hz considering how many different EDID files I’ve been testing… Any idea on what more to investigate?
Specs of computer:
Lenovo ThinkPad X1 Carbon 7th
Intel® Core™ i5-8265U
Fedora Linux 42.20250516.0 (Silverblue)
Specs of monitor:
Dell P2715Q
Maximum resolution over DP: 3840x2160@60
Maximum resolution over HDMI: 3840x2160@30
Specs of USB-C dock
Lenovo ThinkPad USB-C Dock Gen2
DP 1.4
HDMI 2.0
Citation from Lenovos website: “Dock has the ability to support DisplayPort™ 1.4 and HDMI™ 2.0 for max 2 x 4K @ 60 Hz displays, but the real video output would depend on the system’s output.”
Tested both original Lenovo USB-C cable with the dock, as well as another third party USB-C cable that is supposed to support “4K” and “20Gbps”
I also blamed my DP cable for not being able to do 4k@60, so I bought a brand new one with DP2.0, which I in the end realized wasn’t necessary, the old cable was fine…
Some other nice links I’ve been looking at