support HDMI controller on Odroid_x2

Hello Genode community Hello Martin I am currently working with odroid_x2. I'm trying to give support HDMI controller. I adapted the driver for exynos5 and works well but has a problem with screen resolutions. When the resolution setting is lower than the monitor supports the image is shown on one corner and the rest of image it looks deformed.

Martin this also happened in the exynos5 ? and not be so if you have any idea what could be the problem.

Best Regards

Alexy.