add this to your VGA Pico9918 or Pico9918PROv2.0 to have hdmi out..
more info: https://github.com/visrealm/pico9918