b23f371b26
The purpose of this update being primarily for RPi4 support to ease the
burden of anyone wanting to try -CURRENT and assist with driver -- note that
we currently don't support ethernet/usb/pci on the RPi4.
Some cleanup has also been done to not duplicate variables that the ports
framework already provides (${WRKSRC_${tag}}) and simplify.
This update does include a rename of some dtb that will require a
corresponding change in base to ^/release, which will follow this commit.
Approved by: manu (maintainer (uboot), ports)
46 lines
1.2 KiB
Makefile
46 lines
1.2 KiB
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= rpi-firmware
|
|
PORTVERSION= 1.20190925.g20191122
|
|
CATEGORIES= sysutils
|
|
|
|
MAINTAINER= uboot@FreeBSD.org
|
|
COMMENT= Firmware for RaspberryPi Single Board Computer
|
|
|
|
LICENSE= BROADCOM
|
|
LICENSE_NAME= Broadcom Corporation
|
|
LICENSE_FILE= ${WRKSRC}/boot/LICENCE.broadcom
|
|
LICENSE_PERMS= dist-mirror no-dist-sell pkg-mirror no-pkg-sell auto-accept
|
|
|
|
BUILD_DEPENDS= aarch64-none-elf-gcc:devel/aarch64-none-elf-gcc
|
|
|
|
USE_GITHUB= yes
|
|
|
|
GH_ACCOUNT= raspberrypi gonzoua:pscimon
|
|
GH_PROJECT= firmware rpi3-psci-monitor:pscimon
|
|
FW_TAG= 2042453
|
|
PSCI_TAG= 6bfbaff
|
|
GH_TAGNAME= ${FW_TAG} ${PSCI_TAG}:pscimon
|
|
|
|
BUILD_WRKSRC= ${WRKSRC_pscimon}
|
|
INSTALL_DIR= ${PREFIX}/share/${PORTNAME}
|
|
|
|
CONFIG_TXT_FILES= config.txt config_rpi_0_w.txt config_rpi3.txt \
|
|
config_rpi4.txt
|
|
|
|
do-patch:
|
|
.for i in ${CONFIG_TXT_FILES}
|
|
${CP} ${FILESDIR}/${i} ${WRKSRC}/boot/
|
|
.endfor
|
|
|
|
post-patch:
|
|
${RM} ${WRKSRC}/boot/kernel.img
|
|
${RM} ${WRKSRC}/boot/kernel7.img
|
|
|
|
do-install:
|
|
${MKDIR} ${STAGEDIR}/${INSTALL_DIR}
|
|
cd ${WRKSRC}/boot && ${COPYTREE_SHARE} . ${STAGEDIR}/${INSTALL_DIR}/
|
|
${INSTALL_DATA} ${WRKSRC_pscimon}/armstub8.bin \
|
|
${WRKSRC_pscimon}/armstub8-gic.bin ${STAGEDIR}/${INSTALL_DIR}/
|
|
|
|
.include <bsd.port.mk>
|