The RISC-V privileged ISA is not yet finalized. Have the seL4 developers
reviewed the draft , in case they might have any recommendations for
For example, just last year a blunder (H-mode) was removed from the draft per a
proposal  on the mailing list.
Finalization is planned for this year. Speak now or forever hold your peace.
The first public draft of the memory consistency model  was also released
just last December.
And platform standardization, especially the IOMMU, is in progress.
Devel mailing list