diff --git a/lib/sbi/sbi_domain_context.c b/lib/sbi/sbi_domain_context.c index 5490df28..74ad25e8 100644 --- a/lib/sbi/sbi_domain_context.c +++ b/lib/sbi/sbi_domain_context.c @@ -122,6 +122,10 @@ static int switch_to_next_domain_context(struct hart_context *ctx, /* Reconfigure PMP settings for the new domain */ for (int i = 0; i < pmp_count; i++) { + /* Don't revoke firmware access permissions */ + if (sbi_hart_smepmp_is_fw_region(i)) + continue; + sbi_platform_pmp_disable(sbi_platform_thishart_ptr(), i); pmp_disable(i); }