I'm trying to install Debian Stretch on a single board computer Olimex Lime2.
I tried the official images (both netinst and CD1) available here: https://cdimage.debian.org/debian-cd/current/armhf/iso-cd/
It didn't even boot.
Then, I used those instructions: https://www.debian.org/releases/stable/armhf/ch05s01.en.html
I tried those ones, it started the kernel and got stuck, complaining "* warning - bad CRC, using default environment", "could not initialize PHY ethernet@01c50000", "* ERROR: serverip not set", "missing environment variable: pxeuuid", "missing environment variable: bootfile", "Config file not found" and "Unhandled DHCP Option in OFFER/ACK: 125": http://http.us.debian.org/debian/dists/stretch/main/installer-armhf/current/images/u-boot/A20-OLinuXino-Lime2/
Olimex provides a working image of Debian Jessie but the kernel is too old (3.4).
I wonder whether there is something wrong in the official images provided by Debian. Moreover, my problem with "bootfile" looks like this one: https://github.com/armbian/build/issues/319
I'm currently running out of options. What can I do to install Debian Stretch on this machine? I already tried to migrate from Debian Jessie to Debian Stretch by using the image provided by Olimex but it broke the X server (not very important) and as the kernel was still too old, I had tons of troubles with systemd. By the way, I'd prefer using an official image provided by the Debian community.