e40c14cd48
From jmcneill.
19 lines
587 B
Makefile
19 lines
587 B
Makefile
# $NetBSD: Makefile,v 1.4 2018/04/05 19:13:57 joerg Exp $
|
|
|
|
PKGREVISION= 3
|
|
|
|
UBOOT_TARGET= pine64
|
|
UBOOT_CONFIG= pine64_plus_defconfig
|
|
UBOOT_BIN= u-boot-sunxi-with-spl.bin
|
|
|
|
# Switch to EL1 before booting kernel (required for 32-bit support)
|
|
PKG_DEFAULT_OPTIONS+= el1
|
|
|
|
post-extract:
|
|
${CP} ${PREFIX}/share/arm-trusted-firmware/sun50iw1p1/bl31.bin ${WRKSRC}
|
|
|
|
post-build:
|
|
${CAT} ${WRKSRC}/spl/sunxi-spl.bin ${WRKSRC}/u-boot.itb > ${WRKSRC}/u-boot-sunxi-with-spl.bin
|
|
|
|
.include "../../sysutils/arm-trusted-firmware-sun50iw1p1/buildlink3.mk"
|
|
.include "../../sysutils/u-boot/u-boot-arm64.mk"
|