Only a 7-4 year old
thread?
I have a Pinebook Pro coming, supposed to be shipped end of December. For Linux nerds only. Probably some emphasis on nerds, it is supposed to have some rough edges and so you might need a bit more than casual knowledge of Linux to get it going. It comes with a Rockchip 3399 processor (an ARM big.LITTLE processor). It has support for NVME. Price is nice at $100 to $200 or so (depends on whose dollars for the most part).
I recently picked up a Raxda Rock Pi 4b (another Rockchip3399 thing) to use for a GPS base station and/or NTP server (the two go together, but are different jobs - I also have a Hardkernel Odroid-C2 for this same
project). And because of recent immorality on the part of advertisers, I have a Raspberry Pi 3b+ almost finished, to turn into a Pi-hole to fitler webnonsense (advertising) out of web browsing. Vaguely related to being a DNS server.
All are relatively cheap.