diff options
author | Anup Patel <anup.patel@wdc.com> | 2021-04-22 14:49:44 +0530 |
---|---|---|
committer | Anup Patel <anup@brainfault.org> | 2021-04-28 17:33:37 +0530 |
commit | e9a27ab8eab4a30490ff1d7470cd57cbbe4c11c8 (patch) | |
tree | 169caed62614bc6f7b3c8b60f92e6b885fe93d50 /docs/platform | |
parent | a84a1ddbbabb2389b5af91473250d0aff90e40d7 (diff) |
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>
Diffstat (limited to 'docs/platform')
0 files changed, 0 insertions, 0 deletions