The 7-inch GPD Pocket mini-PC is now available to order for US$500. The device was previously available only to early backers of its crowdfunding campaign.
https://www.notebookcheck.net/GPD-Pocket-7-inch-mini-laptop-now-on-sale-for-US-500.230162.0.html