购买了一个RK3288的开发板，为了验证HDMI2.0
但是在默认android系统的Settings->Display->HDMI mode设置菜单里面，只看到了如下选项：
auto
3840x2160p@30Hz
3840x2160p@25Hz
3840x2160p@24Hz
1920x1080p@60Hz
1920x1080p@50Hz
1920x1080p@30Hz
1920x1080p@24Hz
1280x720p@60Hz
1280x720p@50Hz
1280x720p@30Hz
1280x720p@24Hz
720x576p@50Hz
720x480p@60Hz
从logcat和dmesg来看，也没找到3840*2160@60Hz的信息：
<4>[ 647.373048] VGA DISABLE
<4>[ 647.990920] ******** Show Sink Info ********
<4>[ 647.995195] Max tmds clk is 300000000
<4>[ 647.998845] Support video mode:
<4>[ 648.002199] 3840x2160p@30Hz
<4>[ 648.005073] 3840x2160p@25Hz
<4>[ 648.007948] 3840x2160p@24Hz
<4>[ 648.010976] 1920x1080p@60Hz
<4>[ 648.013849] 1920x1080p@50Hz
<4>[ 648.016682] 1920x1080p@30Hz
<4>[ 648.019518] 1920x1080p@24Hz
<4>[ 648.022372] 1280x720p@60Hz
<4>[ 648.025121] 1280x720p@50Hz
<4>[ 648.027869] 1280x720p@30Hz
<4>[ 648.030650] 1280x720p@24Hz
<4>[ 648.033400] 720x576p@50Hz
<4>[ 648.036060] 720x480p@60Hz
<4>[ 648.038720] Support video color mode:
<4>[ 648.042413] RGB
<4>[ 648.044221] YCbCr422
<4>[ 648.046455] YCbCr444
我确认我接的TV是支持HDMI2.0的，这一点在其它方案的平台上能看到。
所以，我想知道RK3288的平台是否支持HDMI2.0的3840x2160p@60Hz的显示模式。
如果支持，请告知如何配置？
如果与固件版本有关，请告知是哪个固件版本。
谢谢！