Как объединить 2 аудиосигнала от HDMI

Как я знаю до сих пор нет приемников, которые смешивают аудио. Я хочу смешать 2 источника HDMI, допустим, 1 - это PS4, а второй - Xbox One, как бы я их смешал в 7.1? Смешайте 2 источника звука в 1, есть ли способ сделать это? Какой самый простой способ.

Я знаю, что есть стерео микшеры, но не слышал о HDMI.

Какой самый простой способ смешивания обоих сигналов?

Я думаю, что это как-то связано с модуляцией сигналов, но я точно не знаю, как работают модуляторы.

Я не против получить приемник, который может это сделать, если есть.