The successor of the US$35 Renegade single-board PC by Libre Computer will hit Indiegogo in July and general availability is scheduled for August. This Raspberry Pi alternative uses a Rockchip RK3399 processor and features USB Type-C connectivity, 4 GB DDR4 memory, eMMC 5.x support, Gigabit Ethernet, and more.
https://www.notebookcheck.net/Libre-Computer-s-single-board-computer-Renegade-Elite-coming-in-August-Rockchip-RK3399-in-tow.310656.0.html
"not many [raspberry pi alternatives] lying around" . . . What are you smoking? There are hundreds of Rpi alternatives out there. Do some damn research before you make a half assed article.
I wasn't talking about all those anonymous alternatives that you can find on AliExpress. Sorry for not making that clear. If we take Chinese anonymous products into account, there are countless alternatives for virtually anything.
If we are talking branded alternatives, Beagleboard Bone pops up immediatelly. I am sure there are plenty others from the likes of Freescale etc