BTW. Keller is also on the board of AheadComputing — founded by former Intel engineers behind the fabled "Royal Core".
Or we just adopt Loongson.
> In the current version of this architecture specification, TLB refill and consistent maintenance between TLB and page tables are still [sic] all led by software.
https://loongson.github.io/LoongArch-Documentation/LoongArch...