blob: be308d3db883116cbb3b88a57b319fadc9087230 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
|
