If you are using a Linux machine, download the Linux version of the IDE software from https://communities.intel.com/docs/DOC-22226. Unpack this file using tar -zxvf arduino-1.5.3-linux32.tar.gz. You will also need to disable the modem manager on most Linux distributions to enable uploading to the board. How you do this will vary by distribution but, if you are using the Ubuntu distribution, type sudo apt-get remove modemmanager.

To connect the Galileo board to the Linux machine, simply plug in the USB connector to one of the USB ports on the Linux machine. Open a terminal and type sudo ls /dev/ttyACM* and this will list the device connected to the machine. You should note down this value as you will later need to specify the port.