How to record HDMI output?

Hi All,

We're trying to record specially software that won't allow a screen recorder to run at the same time. We can mirror the display to HDMI, what would we need to do to record this output?