Verdin Development Board carrier and HDMI output?

Forgot to answer this part.
They don’t currently have an ARM port and they definitely got rid of all that icky nasty QML, but a port of Qt 4.8 with major changes is available as a true OpenSource project.

https://www.copperspice.com/

They were working on the ARM port, I just don’t know where that is at.