Is there a binding for the PORTENTA H7 board?

Hi,
I saw this yesterday:
https://github.com/dmazzella/anx7625

The PORTENTA board has a USB C port with displayport.

And I wonder if LVGL would be perfect for HMI on a PC screen.

It would give micropython a great evolution.

Thank you !