[boudin]

There is already a few ARM laptops that are quite open (like the pine64 ones). There's also ARM boards like the Raspberry PI. I hope that if there's more beefy CPUs and SoCs we'll see those poping up in similar devices as well.

[kube-system]

Sort of. Even the Pi is not entirely open-source. The Broadcom SOC relies on some closed-source binaries.