The RISC-V privileged ISA is not yet finalized. Have the seL4 developers 
reviewed the draft [1], 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 [2] 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 [3] was also released 
just last December.

And platform standardization, especially the IOMMU, is in progress.


Devel mailing list

Reply via email to