I'm curious to hear your opinion about the Rockchip RK3399. Rockchip now has open source SOCs and officially support Linux and support it. There is a lot information here The RK3399 will be in a lot of Single board computers like the Rockpro64, OrangePi 64 and Ordoid N1. It's dualcore A72 and quadcore A53 and has nice peripherals. The only drawback would be that it's A72 and not A73 or later, as the A73 is designed to be much more energy efficient. However I expect that chip to use less power than the OMAP5. I wonder whether it's possible for us to buy that SoC. If so it sounds good to me because.