RK3288 如何设置默认分辨率输出？

Chip Platform Rockchip
1

目前在支持4K的显示设置，RK3288默认开机会显示4K，但此时我想固件生成默认是1080p的输出，请问如何做到？

2

git diff ../kernel/drivers/video/rockchip/hdmi/rockchip-hdmi.h
diff --git a/kernel/drivers/video/rockchip/hdmi/rockchip-hdmi.h b/kernel/drivers/video/rockchip/hdmi/rockchip-hdmi.h
index 144c439..2a769cb 100644
— a/kernel/drivers/video/rockchip/hdmi/rockchip-hdmi.h
+++ b/kernel/drivers/video/rockchip/hdmi/rockchip-hdmi.h
@@ -475,7 +475,8 @@ struct hdmi {
#define HDMI_AUTO_CONFIG false

/* HDMI default vide mode */
-#define HDMI_VIDEO_DEFAULT_MODE HDMI_1280X720P_60HZ
+//#define HDMI_VIDEO_DEFAULT_MODE HDMI_1280X720P_60HZ
+#define HDMI_VIDEO_DEFAULT_MODE HDMI_1920X1080P_60HZ
/HDMI_1920X1080P_60HZ/
#define HDMI_VIDEO_DEFAULT_COLORMODE HDMI_COLOR_AUTO
#define HDMI_VIDEO_DEFAULT_COLORDEPTH 8

3

这个内核版本多少啊？