Question: Plans for RME (Realm Management Extension) support?

[erhade]

Hi,

Wondering if anyone is working on RME support already - couldn't
find anything in issues here. Want to check before
duplicating anything that might be WIP internally.

Is just flipping FEAT_RME_IMPLEMENTED to true in armv9p4.toml
enough to get RME working? If not, what tends to break?

And if it does break, what would adding proper RME support involve?
Extending page_table.rs to model GPT, or something more involved?
Mostly trying to figure out the scope - roughly how many months
for one person?

Thanks!