I'm very excited about these upgrades too (especially GigE), but as far as I can tell nothing on this news page specifies whether the Pi will also support HDR output as part of the 4K upgrade. That's most of the practical benefit of 4K - that 4K releases tend to come with HDR10 or DolbyVision support.
Anyone know if we can expect HDR output to work? If I knew it supported that I'd be purchasing one right now to upgrade my media center from my current Pi 3 setup.
Even the tech specs page says nothing about 10bit decoding, which is required for most real world 4K HEVC video.
> H.265 (4kp60 decode), H264 (1080p60 decode, 1080p30 encode)
https://www.raspberrypi.org/products/raspberry-pi-4-model-b/...