lib: sbi: Show devices provided by platform in boot prints
authorAnup Patel <anup.patel@wdc.com>
Thu, 22 Apr 2021 09:19:44 +0000 (14:49 +0530)
committerAnup Patel <anup@brainfault.org>
Wed, 28 Apr 2021 12:03:37 +0000 (17:33 +0530)
commite9a27ab8eab4a30490ff1d7470cd57cbbe4c11c8
tree169caed62614bc6f7b3c8b60f92e6b885fe93d50
parenta84a1ddbbabb2389b5af91473250d0aff90e40d7
lib: sbi: Show devices provided by platform in boot prints

We extend the boot-time prints to show various devices provided
(or registered) by the platform support. This will help users
verify hardware devices available for OpenSBI firmwares.

Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
lib/sbi/sbi_init.c