I think I got it backwards.
There were two laptops so far that accept HDMI input. For others you must have USB 3.0 and a box from these folk.
That's 200 bucks and we're just getting started.
Are you sure you want to go down such an expensive path?