I might as well get this request out there. The Galileo board is very capable, and seems much faster than my Arduino Mega and Raspberry Pi (not counting port IO). I think a large part of the user base is going to want a more capable Linux that they can use for local compiles, such as the Linux LSB that Sergey documented.
Linux LSB, and it's use of glibc, is not compatible with the current Arduino IDE which uses ulibc. Giving up that capability is a big deal.
This request is for a version of the Arduino IDE that uses glibc instead of the current ulibc, Best solution would be if the tiny Clanton had room for the glibc implementation, so we only needed one version of the Arduino IDE.