I downloaded the source code for the Galileo specific Arduino app IDE_Galileo.src.tar.bz2 (from https://communities.intel.com/docs/DOC-22226), but cannot seem to find any Galileo specific code in the files.
Specifically, if you look in the Arduino application for MacOS (http://downloadmirror.intel.com/24000/eng/Intel_Galileo_Arduino_SW_1.5.3_on_MacOSX_v1.0.2.zip), there is a file
which describes the Galileo board configuration for both Gen 1 and Gen 2.
But the source bundle in IDE_Galileo.src.tar.bz2 does not have that description in its board.txt file (or any reference to "Galileo" in any txt, cpp, or h file for that matter). It looks like the source for a Arduino release for just Atmel mcu's.
Where is the Galileo specific source code (which should be also GPL open source) for the Arduino app hosted?