FullHD output on UHD/4K camera?

Since nobody has received a BMPCC4K yet, maybe some URSA users can answer that:

Can the HDMI/SDI output of cameras with the Blackmagic OS be switched to FullHD
when recording DCI 4K or UltraHD?

We're shopping for a new MultiView to orchestrate camera operators during a live event
for DVD production (so not live) and a FullHD capable one would be fully sufficient for
that job.

Yes, the BMD camera OS is very flexible in this regard.

Thanks.

I just wanted to make sure. Since if BMD delivers on time, it will be just a few weeks before the event.