This is a task usually done with HDMI capture cards, either PCI or even more expensive ... and stream everything to his PC with VLC. All the code is available, and if you’re looking for a ...