you might be interested trying the "IoT Developer Kit".
It comes with:
- ready to go eglibc SD card image (including uclibc libs to allow Arduino sketches from Intel Arduino IDE running flawlessly)
- Eclipse integration (Windows, Linux, MAC)
- libmraa, upm (abstracting away GPIO details on native code [C/C++, Python, Node.JS])
- ipk repository
- ...