diff options
| author | Anup Patel <[email protected]> | 2021-04-22 14:49:44 +0530 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2021-04-28 17:33:37 +0530 |
| commit | e9a27ab8eab4a30490ff1d7470cd57cbbe4c11c8 (patch) | |
| tree | 169caed62614bc6f7b3c8b60f92e6b885fe93d50 /scripts/create-binary-archive.sh | |
| 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 <[email protected]>
Reviewed-by: Alistair Francis <[email protected]>
Diffstat (limited to 'scripts/create-binary-archive.sh')
0 files changed, 0 insertions, 0 deletions