已经在dw_hdmi.c的dw_hdmi_default_modes数组中添加了38402160,放在数组最前面
/ 97 - 3840x2160p@60Hz 16:9 */
{ DRM_MODE("3840x2160", DRM_MODE_TYPE_DRIVER, 594000, 3840, 4016,
4104, 4400, 0, 2160, 2168, 2178, 2250, 0,
DRM_MODE_FLAG_PHSYNC | DRM_MODE_FLAG_PVSYNC),
.vrefresh = 60, .picture_aspect_ratio = HDMI_PICTURE_ASPECT_16_9, },
,查了一下edid里面的白名单也有这个3840x2160p@60Hz,但是在分辨率设置的选项里面没有对应的分辨率,如果使用wm size设置分辨率,实际输出最高只有19201080,想请教一下如何可以实现在设置-显示-HDMI-分辨率设置中添加38402160的选项,从而使视频输出可以实行3840*2160.