Adding this as a note to self, but looking forward into the ARM/RISC-V world, what will user-owned but hardware secured Linux systems look like?