summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--package/opensbi/Makefile29
1 files changed, 29 insertions, 0 deletions
diff --git a/package/opensbi/Makefile b/package/opensbi/Makefile
new file mode 100644
index 000000000..be308d3db
--- /dev/null
+++ b/package/opensbi/Makefile
@@ -0,0 +1,29 @@
+# This file is part of the OpenADK project. OpenADK is copyrighted
+# material, please see the LICENCE file in the top-level directory.
+
+include $(ADK_TOPDIR)/rules.mk
+
+PKG_NAME:= opensbi
+PKG_VERSION:= 1.4
+PKG_RELEASE:= 1
+PKG_HASH:= 319b62a4186fbce9b81a0c5f0ec9f003a10c808397a72138bc9745d9b87b1eb1
+PKG_DESCR:= bootloader for riscv hardware
+PKG_SECTION:= base/boot
+PKG_URL:= https://github.com/riscv-software-src/opensbi
+PKG_SITES:= https://github.com/riscv-software-src/opensbi/archive/refs/tags/
+PKG_ARCH_DEPENDS:= riscv32 riscv64
+
+DISTFILES:= v$(PKG_VERSION).tar.gz
+
+include $(ADK_TOPDIR)/mk/package.mk
+
+$(eval $(call PKG_template,OPENSBI,opensbi,$(PKG_VERSION)-$(PKG_RELEASE),$(PKG_DEPENDS),$(PKG_DESCR),$(PKG_SECTION)))
+
+MAKE_ENV+= PLATFORM=generic FW_TEXT_START=0x40000000 FW_OPTIONS=0
+CONFIG_STYLE:= manual
+
+opensbi-install:
+ $(CP) $(WRKBUILD)/build/platform/generic/firmware/*.bin \
+ $(FW_DIR)
+
+include $(ADK_TOPDIR)/mk/pkg-bottom.mk