Looking for RTOS for Arria 10 and Stratix 10

Hello, we are currently using VxWorks on our Cyclone V SoC and we are planning on moving to an Arria 10 Soc or a Stratix 10 Soc. VxWorks is kinda expensive so we we looking for other options for an R...