I recommend the Pine 64 board. I bought one (2GB RAM, gigabit ethernet model, for 29$ [1]), and despite running its 4 cores at just 1.2GHz, it is quite speedy, and rock solid running Debian 24/7 as ARM64 build server.<p>[1] <a href="https://www.pine64.org/" rel="nofollow">https://www.pine64.org/</a> (I'm not related to Pine, just a satisfied user)