Clarification on OS support with sv39 MMU

[rejsys]

Hello Rocket-Chip Team,

I'm seeking some clarification on the operating systems supported when utilizing the sv39 MMU configuration within Rocket Chip.

Specifically, I'd like to understand:

1. Is full Linux support available and tested with sv39?
2. If not, are there any specific limitations or known issues when running Linux in this configuration?
3. Additionally, are there any existing open-source implementations of a Rocket Chip system running either Linux or an RTOS with the sv39 MMU enabled that I could reference?

Any insights or pointers to relevant documentation or projects would be greatly appreciated!

Thank you in advance for your help