Ah bummer! Yes it is a HDMI output. It was worth asking as I have no idea what it would require. I appreciate your very quick response though.
Would there be any update that can be done to the one posted by Valentin on his
github page? I am just trying to put some life in this little board and see how to get the best out of it.