Is there a consensus pick for the best ARM system around $1,000? I'm not looking for my main workstation, just something usable for building and running ARM software, and maybe acting as a host for ARM containers. I've seen a few options:

Jetson AGX Xavier developer kit - 8 cores, 32 GB, for $700

HoneyComb LX2K mini-ITX motherboard - 16 cores, up to 64 GB, $750

96Boards Developerbox (Socionext) - 24 cores, 32+ GB, $1,200

I'd like a little more than the 4 cores and 4 GB you can get with a Jetson Nano or Raspberry Pi 4.