If you are not redirected automatically, follow this link to github.com/cdhooper/amioga-av-to-hdmi.