The Arduino IDE 1.5.3 has been updated. You can download the new IDE at Software Downloads - Drivers.
This software release supports the following hardware and software:
Release 1.0.2 adds support for the 2nd generation Intel® Galileo board, also called Intel® Galileo Gen 2.
Please see the Intel® Galileo Release Notes for additional information.
The download link didn't work for me. I got the message:
Access to this place or content is restricted. If you think this is a mistake, please contact your administrator or the person who directed you here.
Retrieving data ...