Originating in an effort within seL4[0], there's ongoing work[1] in RISC-V to resolve this.
0. https://sel4.systems//Foundation/Summit/2022/slides/d1_11_fe...
1. https://lf-riscv.atlassian.net/browse/RVS-3569