Also the RockPi 4 is pretty cool, with a full fledged m.2 socket and stronger GPU. It has mainline support although I had to chroot install void linux since there was no official image