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

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 ? Regards Girish