in the link I provided (IoT* - Get Started with the Intel® IoT Dev Kit Beta | Intel® Developer Zone) you should find a 207MB image
"Intel® Galileo Board (Linux Boot Image)
Yocto 1.6 embedded Linux-based OS and our API libraries, useful daemons like LighttPD and Node.js.
Note: Image must be copied to an SD card and is required for using development environments.
Instructions for: Windows* and Mac OS*"
The links you sent are uclibc based images and are not supported by Intel(R) IoT Developer Kit
