My idea is that a pool of free-hardware computer can be used to build up some community networks and clusters of hardware sharing their resources. If you run a

My idea is that a pool of free-hardware computer can be used to build up some community networks and clusters of hardware sharing their resources. If you run a GNUnet node on a RISC-V router running seL4 [0] to log into your bank account, then it's pretty useless if your laptop runs an Intel CPU that access your keystrokes. Or if you use a cellphone. But with those RK3399 platform, it's another level of security. I'd say that the pinephone / pinebook will not ruin your potential for network security. And that the trust is defined by the fab, and thus if Pinestore (and their fabs... are they located in Shenzhen ?) is doubtful, at least their design is getting easier to copy and make a trustful version yourself. Also, I want GuixSD with GNU Hurd and seL4 sharing GPU resources for Vulkan rendering in the community. Not all this is ready yet, but I could never dream about it without the ARM phones/laptops/SoC. [0]https://fosdem.org/2020/schedule/event/uk_sel4/ https://fosdem.org/2020/schedule/event/uk_sel4/