Can I compile FREE RTOS for Intel Galileo board using ARduino IDE too chain

girishkumar wrote on Friday, February 15, 2019:

I am having difficulty to boot Intel Galileo board with FREERTOS using grub. (I mean multi boot).

Since I cam write simple C programs for Intel Galileo using Arduino IDE. Is there a way compile the RTOS code using arduino IDE itself ? and directly flash the code ?