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.

ArduBlocks uses the Arduino IDE, so everything possible in C with an Arduino should be possible with ArduBlocks. There’s a lot of thought put into the design of the blocks – the first ...

This means that you can use your adorably sized SBC as a normal PC ... the tiny Arduino and Raspberry Pi boards! Armed with multiple libraries, samples, and tools, the Arduino IDE is the platform ...