I'll have to keep an eye on that list, one of these might actually be a solid RPi alternative eventually if they can get good long term OS support this way. All I'm seeing on it right now are somewhat obsolete boards though, 2 or 4 GB of memory at most, LPDDR3 and 4, no wifi chip.