[crtasm]

You can do this without a capture card using https://ndi.tv/tools/ - other clients on your LAN can view in OBS or with the included program. I'm yet to try it with 4k.

No help with consoles of course, and perhaps not an option for a work machine.

edit: feature list also mentions "KVM remote control of any workstation running Scan Converter from NDI Studio Monitor"

[gbraad]

I use NDI a lot, but with a phone as webcam, or from obs to obs, scan converter, audio stream between devices like ipad/iphone/Android to desktop... But it is demanding to encode this way. HDMI capture does only use bandwidth over the USB or pcie bus, while ndi uses cpu or gpu.

[tekknik]

HDMI capture cards can definitely use CPU, and this is the case for most USB capture cards as USB does not have enough bandwidth to send an entire raw stream in realtime.

[gsich]

Yes, it's MJPEG for the cheap ones.

[crtasm]

It's not at all demanding on my RTX2060 but I'm only doing 1080p 60fps - don't know how other cards/resolutions/framerates compare.

[gbraad]

You have hardware devices for ndi, but they ain't cheap!