package/opensbi/Makefile

   1 # This file is part of the OpenADK project. OpenADK is copyrighted
   2 # material, please see the LICENCE file in the top-level directory.
   3
   4 include $(ADK_TOPDIR)/rules.mk
   5
   6 PKG_NAME:=              opensbi
   7 PKG_VERSION:=           1.4
   8 PKG_RELEASE:=           1
   9 PKG_HASH:=              319b62a4186fbce9b81a0c5f0ec9f003a10c808397a72138bc9745d9b87b1eb1
  10 PKG_DESCR:=             bootloader for riscv hardware
  11 PKG_SECTION:=           base/boot
  12 PKG_URL:=               https://github.com/riscv-software-src/opensbi
  13 PKG_SITES:=             https://github.com/riscv-software-src/opensbi/archive/refs/tags/
  14 PKG_ARCH_DEPENDS:=      riscv32 riscv64
  15
  16 DISTFILES:=             v$(PKG_VERSION).tar.gz
  17
  18 include $(ADK_TOPDIR)/mk/package.mk
  19
  20 $(eval $(call PKG_template,OPENSBI,opensbi,$(PKG_VERSION)-$(PKG_RELEASE),$(PKG_DEPENDS),$(PKG_DESCR),$(PKG_SECTION)))
  21
  22 MAKE_ENV+=              PLATFORM=generic FW_TEXT_START=0x40000000 FW_OPTIONS=0
  23 CONFIG_STYLE:=          manual
  24
  25 opensbi-install:
  26                 $(CP) $(WRKBUILD)/build/platform/generic/firmware/*.bin \
  27                         $(FW_DIR)
  28
  29 include $(ADK_TOPDIR)/mk/pkg-bottom.mk