Is there supported/recommended RTOS for Jetson Tx2 for Real time performance including support for CUDA?

Is there any RTOS woks on Jetson TX2 with cuda support?

There’s Concurrent RedHawk Linux, they have TX1 support (with CUDA) and are working on TX2. You can get in touch with them here about it.

Otherwise distributions that have been ported are listed on the wiki:

http://elinux.org/Jetson_TK1#Linux_distributions_running_on_Tegra
http://elinux.org/Jetson_TX1#Linux_Distributions

The Concurrent RedHawk Linux RTOS is now available for both TX1 and TX2:

At github I can see that tx1 and tx2 are listed as supported hardware at https://github.com/siemens/jailhouse