The IOT developer kit (beta) has just been announced: https://software.intel.com/en-us/blogs/2014/09/08/announcing-intel-iot-developer-kitus/blogs/2014/09/08/announcing-intel-iot-developer-kit
"IoT Dev Kit consists of:
[...]
(2) Software image and/or the software packages
(3)Support for various IDEs allowing you to program in your favorite language
(Eclipse, Intel XDK IoT Edition, Arduino & Wyliodrin)
(4)Cloud services for a data management and analytics
[...]"