EOS-1D C graba 4K internamente en tarjetas CF. No puede salir 4K por HDMI (estándar HDMI del puerto no soporta 4K).
Para 4K externo, necesitarías otra solución (no HDMI).