Someone recommended in an article an ODRIOD-C2 over a Raspberry Pi. They said you get quite a bit of performance spending just a little more ($40). Here's a comparison:

https://www.phoronix.com/scan.php?page=article&item=raspberr...

I might buy one depending on what feedback I get on it. Anyone here tried those out for Linux or BSD projects?