Ultrastudio Mini 4k output

The Ultrastudio Mini 4k specifies DCI 2k is SDI only. This is how I plan on using it, but I was wondering if the HDMI sends out a video signal when the project resolution is DCI 2K, and if it does what that signal is.
https://forum.blackmagicdesign.com/
https://forum.blackmagicdesign.com/viewtopic.php?f=3&t=172005