The Galileo can be programmed with the standard Arduino IDE, but from the getting started guide, it looks like this board is running Yocto, a stripped down Linux for embedded environments.