I changed the output timing of HDMI to 720P.
s32v234_sdk\platform\s32_v234\config.h
#define HDMI_RES_1280X720
But the display is still 1080p.Is there a definition elsewhere? Or my changes have not taken effect? Need to change in the device tree?