Investigate adding `projectKOs` to the simp set
michaelmcinerney opened this issue · comments
projectKOs is in the simp set on RISCV64 and AARCH64, but not on the other architectures. We should investigate standardising this and adding it to the simp set on all architectures.
In particular also between rt and master