A13-OLinuXino
How to build Debian image with Kernel 3.4 for A13-OLinuXino is explained here.
The new #9 image is with kernel 3.4.75 and have included support for Ralink new WiFi modules: MOD-WIFI-R5370 and MOD-WIFI-R5370-ANT and fixes the 7″ LCD resolution change bug.
The changed files are: a13_linux_defconfig, script.bin and a13_olinuxino_debian_fs_kernel_34_75_rel_9.tgz
The SD-card image can be downloaded from here.
A13-OLinuXino-MICRO
How to build Deabian image with Kernel 3.4 for A13-OLinuXino-MICRO is explained here.
The number #7 image is with Kernel 3.4.79
We have included support for Ralink new WiFi modules: MOD-WIFI-R5370 and MOD-WIFI-R5370-ANT and fixes the 7″ LCD resolution change bug.
The SD-card image can be downloaded from here.
olimex 
Mar 25, 2014 @ 12:32:24
Is there any specific reason to stay on kernel 3.4.75 for A13-OLinuXino and not to move to latest version 3.4.79?
Mar 25, 2014 @ 20:06:02
I I have prepared a sd with the latest image file for A13-OLinuXino and A13-OLinuXino-MICRO with Kernel 3.4 but the system does not boot. Checking the contents of the sd card, I noticed that some files are missing. And ‘possible to verify if it happens always or only in my case? Thanks for your the attention
Mar 26, 2014 @ 10:14:04
Hey Giovanni, we have checked the imaged multiple times. It should be at your side and it is possibly a software or installation issue. Please drop an e-mail at support@olimex.com with some more information:
1. Which revisions are both boards?
2. How do you determine that the system doesn’t boot? Is there any LED on after providing power?
3. What kind of power supply are you using?
4. Are you sure that the files doesn’t appear missing because you are exploring the SD card under an operating system that doesn’t recognize the file system of the SD card?
Best regards,
Lub/OLIMEX
Apr 03, 2014 @ 17:53:42
Hi
I have used Win32DiskImager to put the SD image onto a new 8Gb class 10 SD card.
When I put the card in the board, the board boots into Android. The supplied 2Gb SD card boots fine.
I assume that some parameter has not been written to the new card. Any ideas?
Thanks
Apr 03, 2014 @ 23:18:10
OK, fixed it.
The SD card needed formatting. I used the SD Formatter 4.0 from here :-
https://www.sdcard.org/downloads/formatter_4/
I set “FORMAT SIZE ADJUSTMENT” to ON in the Options menu, as per these instructions :-
http://elinux.org/RPi_Easy_SD_Card_Setup.
I then used Win32DiskImager to put the SD image onto my SD card.
Now boots.