From e976377ddbe789877e7d21fb99580724805529ee Mon Sep 17 00:00:00 2001
From: David Abdurachmanov <david.abdurachmanov@gmail.com>
Date: Sat, 30 Mar 2019 23:04:24 +0100
Subject: [PATCH] Add OpenSBI + U-Boot (S mode) firmware

Signed-off-by: David Abdurachmanov <david.abdurachmanov@gmail.com>
---
 fedora-riscv64-developer-rawhide.ks | 1 +
 1 file changed, 1 insertion(+)

diff --git a/fedora-riscv64-developer-rawhide.ks b/fedora-riscv64-developer-rawhide.ks
index 7fa98de..d4e79ec 100644
--- a/fedora-riscv64-developer-rawhide.ks
+++ b/fedora-riscv64-developer-rawhide.ks
@@ -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