In a previous article, I discussed how I used an inexpensive ($25) video capture card to capture HDMI output from a physical system (an Intel NUC) and stream it via USB to another system (my laptop).