Hi Arrfou, you may be interested in Concurrent Redhawk Linux. It is a realtime version of Linux built on the RHEL distribution that supports Jetson TX1/TX2 and Jetson AGX Xavier.
Also in upcoming JetPack 4.2.1 release, a FreeRTOS sample for the Cortex-R5 core on TX2 and Xavier will be available.