Intel Aero RTF is shipped with the compute board and flight controller. Compute board communicates with the flight controller over UART.
If you want RT-Os on the compute board, you can check from the BSP on how you could boot your own RT-OS kernel.
If you want to replace the flight controller with your own RT-Os, please use your favorite serial-wire debug (SWD) to program the flight controller chip.
Thanks for your interest in the Intel® Aero Platform for UAVs.
This is an interesting question! Please let us investigate your concerns and we will get back to you as soon as we have some useful information.
Have a nice day!