I recently got a new computer, a lenovo 10e chromebook. Unfortunately neither the linux-amd64 nor the linux-raspberrypi downloads work on it. (bash says file not found). I assume it’s because this is aarch64/arm64 not armhf. Is there a way to get it to work, or to get a aarch64 download?

We should be able to. Lemme ask Ryan and see if that can be added (we currently support Apple M1s so I’m assuming it won’t be a big lift). If you come to our Discord server, we can troubleshoot there