I've been playing with this €40 board at DebConf, and had no trouble getting Debian working using a stock kernel (from experimental). Since it boots from a microsd card, it can't be bricked and should be quite easy to support in d-i (using a hd-media image).
The only blocker is that it needs the non-mainline u-boot from https://linux-sunxi.org/U-Boot This u-boot is needed for many other boards and would be good to get into the archive somehow. https://wiki.debian.org/InstallingDebianOn/Allwinner/A10-OLinuXino-LIME https://www.olimex.com/Products/OLinuXino/A10/A10-OLinuXino-LIME/open-source-hardware -- see shy jo
signature.asc
Description: Digital signature
