S1がブラックマジックRAWに対応しましたが

S1に付けた外付けマイクの音声は、HDMIケーブルから映像とともに出力され
Blackmagic Video Assist 12G HDRに録音されるのでしょうか?

それとも音声は、Blackmagic Video Assist 12G HDRのマイク端子に
マイクを繋いで別撮りするんでしょうか?