This board seems to have a lot of potential. A little more expensive than the raspberry pi 3, but much faster.
Do you know what it will take to install LEDE on it?
I have same issue to install LEDE on it. Actually we need OPENWRT drive to support this board.
Seems not so easy / impossible....have seen this board for ~60€