lib: sbi: Display domain details in boot prints
authorAnup Patel <anup.patel@wdc.com>
Wed, 23 Sep 2020 16:19:01 +0000 (21:49 +0530)
committerAnup Patel <anup@brainfault.org>
Wed, 21 Oct 2020 06:31:34 +0000 (12:01 +0530)
commitc347408a39eb66c9705ccc0cbd4537149fda938f
tree429ba4624a35a0b92004e1bc527de4f73b59614d
parentc10c30b485e286b7ebe3f63897616107fb05ddce
lib: sbi: Display domain details in boot prints

We extend boot prints to display details of each domain. In the
process, we remove sbi_hart_pmp_dump() because it shows redundant
information which domain details already show.

Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Atish Patra <atish.patra@wdc.com>
include/sbi/sbi_domain.h
include/sbi/sbi_hart.h
lib/sbi/sbi_domain.c
lib/sbi/sbi_hart.c
lib/sbi/sbi_init.c