Re: [RFC PATCH v3 5/5] sbi: init: Print supervisor domains at boot

On Wed, Aug 12, 2026 at 5:14 PM Anup Patel <[email protected]> wrote:
>
> On Thu, Aug 6, 2026 at 12:09 AM Rahul Pathak
> <[email protected]> wrote:
> >
> > Print the configured supervisor domains alongside the existing domain
> > details during boot.
> >
> > Signed-off-by: Rahul Pathak <[email protected]>
> > ---
> >  lib/sbi/sbi_init.c | 4 ++++
> >  1 file changed, 4 insertions(+)
> >
> > diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c
> > index acd2f8b6..dc399494 100644
> > --- a/lib/sbi/sbi_init.c
> > +++ b/lib/sbi/sbi_init.c
> > @@ -35,6 +35,7 @@
> >  #include <sbi/sbi_tlb.h>
> >  #include <sbi/sbi_version.h>
> >  #include <sbi/sbi_unit_test.h>
> > +#include <sbi/sbi_mpt.h>
> >
> >  #define BANNER                                              \
> >         "   ____                    _____ ____ _____\n"     \
> > @@ -160,6 +161,9 @@ static void sbi_boot_print_domains(struct sbi_scratch *scratch)
> >
> >         /* Domain details */
> >         sbi_domain_dump_all("        ");
> > +
> > +       /* Print Supervisor Domains */
> > +       sbi_mpt_dump();
>
> The sbi_domain_dump_all() already prints domain regions in a way
> independent of the underlying hart protection mechanism so drop
> both sbi_mpt_dump() and this patch.
>

Will update in the next version, I intend to keep the definition for
debugging purposes.

-- 
opensbi mailing list
[email protected]
http://lists.infradead.org/mailman/listinfo/opensbi