Here’s the scoop I worked out by reading the code.
r.FullScreenMode 0
r.HDR.EnableHDROutput 1
r.HDR.Display.OutputDevice 5
start with -fullscreen on the command line parameters.
You may or may not need your TV in YCbCr420 mode. It theoretically shouldn’t require it, but it might.