Just want to add: Also there are multiple riscv boards but I'd want to caution the casual readers: I believe both the ARM and riscv boards suffer from very high power draw so you'll get poor battery life using them as laptops. They would only be worth it for people that have reasons to be running arm/riscv, but for the general consumer you are definitely going to want the x86 boards.