Hdmi with x11 on stm32mp157c-dk2

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)



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