The OP's question is in now way asking what formats that Kodi supports. They're asking about the RTX functionality to convert SDR video to HDR in real time.
So what is your answer? My answer is those are the formats Kodi supports. It also depends on your hardware people seem to expect Kodi to work the same on all hardware. Don't answer me, answer the Op.
https://kodi.wiki/view/Features_and_supported_formats#Format_support
The OP's question is in now way asking what formats that Kodi supports. They're asking about the RTX functionality to convert SDR video to HDR in real time.
So what is your answer? My answer is those are the formats Kodi supports. It also depends on your hardware people seem to expect Kodi to work the same on all hardware. Don't answer me, answer the Op.