Yi 360 и Garmin Virb 360 - да, у них есть HDMI выход. Гармин может даже вроде как гнать 4К в него (правда, с захватом у народа проблема - карта Blackmagic глючит с ним в этом режиме, и выдаёт половину разрешения по горизонтали)
Но и та и другая камера могут писать видео на карту в разрешении 4К или больше. Пляски с HDMI интересны разве что чтобы стримить/заливать в реалтайме, но слишком много плясок для этого