Hdmi with x11 on stm32mp157c-dk2

Hi!
I installed debian 10 from https://www.digikey.com/eewiki/display/linuxonarm/STM32MP1.
Is here an oportunity to use x11 with hdmi on board???

@ink1935, currently ST’s image use wayland over x11. x11 requires a ddx driver, with some work you could get xf86-video-armada (2D driver for all vivante hardware)

http://git.arm.linux.org.uk/cgit/xf86-video-armada.git/log/?h=unstable-devel

Regards,

Thank you for your answer!
But another one:
if i want to use to start wayland, i have to use this driver anyway?