From dc6786e6fb019e42b0b01011d1ca80f543e02978 Mon Sep 17 00:00:00 2001 From: Waldemar Brodkorb Date: Mon, 1 Apr 2024 18:25:26 +0200 Subject: opensbi: new package --- package/opensbi/Makefile | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 package/opensbi/Makefile (limited to 'package') 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 -- cgit v1.2.3