Its some off brand. I use a cheap 10$ HDMI to video/audio adapter. And yeah mostly in dock mode to play a game its just that and a couple of ps4 or USB controllers.

Its not just retro games, sonic racing works really well with friends and this old tv.