Add OpenSBI + U-Boot (S mode) firmware

Signed-off-by: David Abdurachmanov <david.abdurachmanov@gmail.com>
This commit is contained in:
David Abdurachmanov 2019-03-30 23:04:24 +01:00
parent c3e057c1c9
commit e976377ddb
Signed by: davidlt
GPG Key ID: 7108702C938B13C1
1 changed files with 1 additions and 0 deletions

View File

@ -44,6 +44,7 @@ fedora-bbl
fedora-bbl-nopayload
opensbi-unstable
opensbi-unstable-fedora
opensbi-unstable-images-riscv64
extlinux-bootloader
uboot-tools
uboot-images-riscv64