Attachment #208971 for bug #241795




# $FreeBSD$

PORTNAME=	rpi-firmware
PORTVERSION=	1.20190925
CATEGORIES=	sysutils

MAINTAINER=	uboot@FreeBSD.org


GH_ACCOUNT=	raspberrypi gonzoua:pscimon
GH_PROJECT=	firmware rpi3-psci-monitor:pscimon
PSCI_TAG=	6bfbaff
GH_TAGNAME=	${PSCI_TAG}:pscimon
PSCI_MONITOR=	rpi3-psci-monitor-${PSCI_TAG}
PSCI_DIR=	${WRKDIR}/${PSCI_MONITOR}

BUILD_WRKSRC=	${WRKSRC_pscimon}
INSTALL_DIR=	${PREFIX}/share/${PORTNAME}

CONFIG_TXT_FILES=	config.txt config_rpi_0_w.txt config_rpi3.txt

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>

Lines 1-5 Link Here

(-)sysutils/rpi-firmware/distinfo (-5 / +5 lines)
1	TIMESTAMP = 1549301871	1	TIMESTAMP = 1573160708
2	SHA256 (raspberrypi-firmware-1.20181112_GH0.tar.gz) = eccb3221fe5fbf9e44e7d1a79b2f401eb7527a41fb8ea7fe7231bc188a8ff50b	2	SHA256 (raspberrypi-firmware-1.20190925_GH0.tar.gz) = b3c5c9d3cda1f77caf317b8d1f0496cd7ca791ddaeec8207a5a1940111483509
3	SIZE (raspberrypi-firmware-1.20181112_GH0.tar.gz) = 122927533	3	SIZE (raspberrypi-firmware-1.20190925_GH0.tar.gz) = 185571086
4	SHA256 (gonzoua-rpi3-psci-monitor-2b8890a_GH0.tar.gz) = a7b89678adea178359646a1e95a078d5c60d23821ba355f27f14ed7b28f32f4d	4	SHA256 (gonzoua-rpi3-psci-monitor-6bfbaff_GH0.tar.gz) = c58a5f90af46c5c16daf5a67eb646c65870ea400fe9831b2951251a4e1159f86
5	SIZE (gonzoua-rpi3-psci-monitor-2b8890a_GH0.tar.gz) = 5115	5	SIZE (gonzoua-rpi3-psci-monitor-6bfbaff_GH0.tar.gz) = 5581

Lines 2-7 Link Here

(-)sysutils/rpi-firmware/files/config_rpi3.txt (-1 / +1 lines)
2	dtparam=audio=on,i2c_arm=on,spi=on	2	dtparam=audio=on,i2c_arm=on,spi=on
3	dtoverlay=mmc	3	dtoverlay=mmc
4	dtoverlay=pwm	4	dtoverlay=pwm
5	dtoverlay=pi3-disable-bt	5	dtoverlay=disable-bt
6	device_tree_address=0x4000	6	device_tree_address=0x4000
7	kernel=u-boot.bin	7	kernel=u-boot.bin

Lines 1-7 Link Here

(-)sysutils/rpi-firmware/files/config_rpi4.txt (-3 / +3 lines)
1	arm_control=0x200	1	arm_control=0x200
2	dtparam=audio=on,i2c_arm=on,spi=on	2	arm_64bit=1
		3	dtoverlay=disable-bt
3	dtoverlay=mmc	4	dtoverlay=mmc
4	dtoverlay=pwm
5	dtoverlay=pi3-disable-bt
6	device_tree_address=0x4000	5	device_tree_address=0x4000
7	kernel=u-boot.bin	6	kernel=u-boot.bin
		7	armstub=armstub8-gic.bin

Lines 1-23 Link Here

(-)sysutils/rpi-firmware/pkg-plist (-4 / +53 lines)
1	%%DATADIR%%/COPYING.linux	1	%%DATADIR%%/COPYING.linux
2	%%DATADIR%%/LICENCE.broadcom	2	%%DATADIR%%/LICENCE.broadcom
		3	%%DATADIR%%/armstub8-gic.bin
3	%%DATADIR%%/armstub8.bin	4	%%DATADIR%%/armstub8.bin
4	%%DATADIR%%/bcm2708-rpi-0-w.dtb
5	%%DATADIR%%/bcm2708-rpi-b-plus.dtb	5	%%DATADIR%%/bcm2708-rpi-b-plus.dtb
6	%%DATADIR%%/bcm2708-rpi-b.dtb	6	%%DATADIR%%/bcm2708-rpi-b.dtb
7	%%DATADIR%%/bcm2708-rpi-cm.dtb	7	%%DATADIR%%/bcm2708-rpi-cm.dtb
		8	%%DATADIR%%/bcm2708-rpi-zero-w.dtb
		9	%%DATADIR%%/bcm2708-rpi-zero.dtb
8	%%DATADIR%%/bcm2709-rpi-2-b.dtb	10	%%DATADIR%%/bcm2709-rpi-2-b.dtb
		11	%%DATADIR%%/bcm2710-rpi-2-b.dtb
9	%%DATADIR%%/bcm2710-rpi-3-b-plus.dtb	12	%%DATADIR%%/bcm2710-rpi-3-b-plus.dtb
10	%%DATADIR%%/bcm2710-rpi-3-b.dtb	13	%%DATADIR%%/bcm2710-rpi-3-b.dtb
11	%%DATADIR%%/bcm2710-rpi-cm3.dtb	14	%%DATADIR%%/bcm2710-rpi-cm3.dtb
		15	%%DATADIR%%/bcm2711-rpi-4-b.dtb
12	%%DATADIR%%/bootcode.bin	16	%%DATADIR%%/bootcode.bin
13	%%DATADIR%%/config.txt	17	%%DATADIR%%/config.txt
14	%%DATADIR%%/config_rpi3.txt	18	%%DATADIR%%/config_rpi3.txt
15	%%DATADIR%%/config_rpi_0_w.txt	19	%%DATADIR%%/config_rpi_0_w.txt
16	%%DATADIR%%/fixup.dat	20	%%DATADIR%%/fixup.dat
		21	%%DATADIR%%/fixup4.dat
		22	%%DATADIR%%/fixup4cd.dat
		23	%%DATADIR%%/fixup4db.dat
		24	%%DATADIR%%/fixup4x.dat
17	%%DATADIR%%/fixup_cd.dat	25	%%DATADIR%%/fixup_cd.dat
18	%%DATADIR%%/fixup_db.dat	26	%%DATADIR%%/fixup_db.dat
19	%%DATADIR%%/fixup_x.dat	27	%%DATADIR%%/fixup_x.dat
		28	%%DATADIR%%/kernel7l.img
		29	%%DATADIR%%/kernel8.img
20	%%DATADIR%%/overlays/README	30	%%DATADIR%%/overlays/README
		31	%%DATADIR%%/overlays/act-led.dtbo
21	%%DATADIR%%/overlays/adau1977-adc.dtbo	32	%%DATADIR%%/overlays/adau1977-adc.dtbo
22	%%DATADIR%%/overlays/adau7002-simple.dtbo	33	%%DATADIR%%/overlays/adau7002-simple.dtbo
23	%%DATADIR%%/overlays/ads1015.dtbo	34	%%DATADIR%%/overlays/ads1015.dtbo
Lines 36-41 Link Here
36	%%DATADIR%%/overlays/audioinjector-addons.dtbo	47	%%DATADIR%%/overlays/audioinjector-addons.dtbo
37	%%DATADIR%%/overlays/audioinjector-ultra.dtbo	48	%%DATADIR%%/overlays/audioinjector-ultra.dtbo
38	%%DATADIR%%/overlays/audioinjector-wm8731-audio.dtbo	49	%%DATADIR%%/overlays/audioinjector-wm8731-audio.dtbo
		50	%%DATADIR%%/overlays/audiosense-pi.dtbo
39	%%DATADIR%%/overlays/audremap.dtbo	51	%%DATADIR%%/overlays/audremap.dtbo
40	%%DATADIR%%/overlays/balena-fin.dtbo	52	%%DATADIR%%/overlays/balena-fin.dtbo
41	%%DATADIR%%/overlays/bmp085_i2c-sensor.dtbo	53	%%DATADIR%%/overlays/bmp085_i2c-sensor.dtbo
Lines 42-49 Link Here
42	%%DATADIR%%/overlays/dht11.dtbo	54	%%DATADIR%%/overlays/dht11.dtbo
43	%%DATADIR%%/overlays/dionaudio-loco-v2.dtbo	55	%%DATADIR%%/overlays/dionaudio-loco-v2.dtbo
44	%%DATADIR%%/overlays/dionaudio-loco.dtbo	56	%%DATADIR%%/overlays/dionaudio-loco.dtbo
		57	%%DATADIR%%/overlays/disable-bt.dtbo
		58	%%DATADIR%%/overlays/disable-wifi.dtbo
45	%%DATADIR%%/overlays/dpi18.dtbo	59	%%DATADIR%%/overlays/dpi18.dtbo
46	%%DATADIR%%/overlays/dpi24.dtbo	60	%%DATADIR%%/overlays/dpi24.dtbo
		61	%%DATADIR%%/overlays/draws.dtbo
47	%%DATADIR%%/overlays/dwc-otg.dtbo	62	%%DATADIR%%/overlays/dwc-otg.dtbo
48	%%DATADIR%%/overlays/dwc2.dtbo	63	%%DATADIR%%/overlays/dwc2.dtbo
49	%%DATADIR%%/overlays/enc28j60-spi2.dtbo	64	%%DATADIR%%/overlays/enc28j60-spi2.dtbo
Lines 64-74 Link Here
64	%%DATADIR%%/overlays/hifiberry-amp.dtbo	79	%%DATADIR%%/overlays/hifiberry-amp.dtbo
65	%%DATADIR%%/overlays/hifiberry-dac.dtbo	80	%%DATADIR%%/overlays/hifiberry-dac.dtbo
66	%%DATADIR%%/overlays/hifiberry-dacplus.dtbo	81	%%DATADIR%%/overlays/hifiberry-dacplus.dtbo
		82	%%DATADIR%%/overlays/hifiberry-dacplusadc.dtbo
		83	%%DATADIR%%/overlays/hifiberry-dacplusadcpro.dtbo
		84	%%DATADIR%%/overlays/hifiberry-dacplusdsp.dtbo
67	%%DATADIR%%/overlays/hifiberry-digi-pro.dtbo	85	%%DATADIR%%/overlays/hifiberry-digi-pro.dtbo
68	%%DATADIR%%/overlays/hifiberry-digi.dtbo	86	%%DATADIR%%/overlays/hifiberry-digi.dtbo
69	%%DATADIR%%/overlays/hy28a.dtbo	87	%%DATADIR%%/overlays/hy28a.dtbo
70	%%DATADIR%%/overlays/hy28b-2017.dtbo	88	%%DATADIR%%/overlays/hy28b-2017.dtbo
71	%%DATADIR%%/overlays/hy28b.dtbo	89	%%DATADIR%%/overlays/hy28b.dtbo
		90	%%DATADIR%%/overlays/i-sabre-q2m.dtbo
72	%%DATADIR%%/overlays/i2c-bcm2708.dtbo	91	%%DATADIR%%/overlays/i2c-bcm2708.dtbo
73	%%DATADIR%%/overlays/i2c-gpio.dtbo	92	%%DATADIR%%/overlays/i2c-gpio.dtbo
74	%%DATADIR%%/overlays/i2c-mux.dtbo	93	%%DATADIR%%/overlays/i2c-mux.dtbo
Lines 77-84 Link Here
77	%%DATADIR%%/overlays/i2c-rtc.dtbo	96	%%DATADIR%%/overlays/i2c-rtc.dtbo
78	%%DATADIR%%/overlays/i2c-sensor.dtbo	97	%%DATADIR%%/overlays/i2c-sensor.dtbo
79	%%DATADIR%%/overlays/i2c0-bcm2708.dtbo	98	%%DATADIR%%/overlays/i2c0-bcm2708.dtbo
		99	%%DATADIR%%/overlays/i2c0.dtbo
80	%%DATADIR%%/overlays/i2c1-bcm2708.dtbo	100	%%DATADIR%%/overlays/i2c1-bcm2708.dtbo
		101	%%DATADIR%%/overlays/i2c1.dtbo
		102	%%DATADIR%%/overlays/i2c3.dtbo
		103	%%DATADIR%%/overlays/i2c4.dtbo
		104	%%DATADIR%%/overlays/i2c5.dtbo
		105	%%DATADIR%%/overlays/i2c6.dtbo
81	%%DATADIR%%/overlays/i2s-gpio28-31.dtbo	106	%%DATADIR%%/overlays/i2s-gpio28-31.dtbo
		107	%%DATADIR%%/overlays/ilitek251x.dtbo
		108	%%DATADIR%%/overlays/imx219.dtbo
		109	%%DATADIR%%/overlays/iqaudio-codec.dtbo
82	%%DATADIR%%/overlays/iqaudio-dac.dtbo	110	%%DATADIR%%/overlays/iqaudio-dac.dtbo
83	%%DATADIR%%/overlays/iqaudio-dacplus.dtbo	111	%%DATADIR%%/overlays/iqaudio-dacplus.dtbo
84	%%DATADIR%%/overlays/iqaudio-digi-wm8804-audio.dtbo	112	%%DATADIR%%/overlays/iqaudio-digi-wm8804-audio.dtbo
Lines 85-92 Link Here
85	%%DATADIR%%/overlays/jedec-spi-nor.dtbo	113	%%DATADIR%%/overlays/jedec-spi-nor.dtbo
86	%%DATADIR%%/overlays/justboom-dac.dtbo	114	%%DATADIR%%/overlays/justboom-dac.dtbo
87	%%DATADIR%%/overlays/justboom-digi.dtbo	115	%%DATADIR%%/overlays/justboom-digi.dtbo
88	%%DATADIR%%/overlays/lirc-rpi.dtbo
89	%%DATADIR%%/overlays/ltc294x.dtbo	116	%%DATADIR%%/overlays/ltc294x.dtbo
		117	%%DATADIR%%/overlays/max98357a.dtbo
90	%%DATADIR%%/overlays/mbed-dac.dtbo	118	%%DATADIR%%/overlays/mbed-dac.dtbo
91	%%DATADIR%%/overlays/mcp23017.dtbo	119	%%DATADIR%%/overlays/mcp23017.dtbo
92	%%DATADIR%%/overlays/mcp23s17.dtbo	120	%%DATADIR%%/overlays/mcp23s17.dtbo
Lines 94-102 Link Here
94	%%DATADIR%%/overlays/mcp2515-can1.dtbo	122	%%DATADIR%%/overlays/mcp2515-can1.dtbo
95	%%DATADIR%%/overlays/mcp3008.dtbo	123	%%DATADIR%%/overlays/mcp3008.dtbo
96	%%DATADIR%%/overlays/mcp3202.dtbo	124	%%DATADIR%%/overlays/mcp3202.dtbo
		125	%%DATADIR%%/overlays/mcp342x.dtbo
97	%%DATADIR%%/overlays/media-center.dtbo	126	%%DATADIR%%/overlays/media-center.dtbo
98	%%DATADIR%%/overlays/midi-uart0.dtbo	127	%%DATADIR%%/overlays/midi-uart0.dtbo
99	%%DATADIR%%/overlays/midi-uart1.dtbo	128	%%DATADIR%%/overlays/midi-uart1.dtbo
		129	%%DATADIR%%/overlays/miniuart-bt.dtbo
100	%%DATADIR%%/overlays/mmc.dtbo	130	%%DATADIR%%/overlays/mmc.dtbo
101	%%DATADIR%%/overlays/mpu6050.dtbo	131	%%DATADIR%%/overlays/mpu6050.dtbo
102	%%DATADIR%%/overlays/mz61581.dtbo	132	%%DATADIR%%/overlays/mz61581.dtbo
Lines 107-112 Link Here
107	%%DATADIR%%/overlays/pi3-disable-wifi.dtbo	137	%%DATADIR%%/overlays/pi3-disable-wifi.dtbo
108	%%DATADIR%%/overlays/pi3-miniuart-bt.dtbo	138	%%DATADIR%%/overlays/pi3-miniuart-bt.dtbo
109	%%DATADIR%%/overlays/pibell.dtbo	139	%%DATADIR%%/overlays/pibell.dtbo
		140	%%DATADIR%%/overlays/piglow.dtbo
110	%%DATADIR%%/overlays/piscreen.dtbo	141	%%DATADIR%%/overlays/piscreen.dtbo
111	%%DATADIR%%/overlays/piscreen2r.dtbo	142	%%DATADIR%%/overlays/piscreen2r.dtbo
112	%%DATADIR%%/overlays/pisound.dtbo	143	%%DATADIR%%/overlays/pisound.dtbo
Lines 134-140 Link Here
134	%%DATADIR%%/overlays/sc16is752-i2c.dtbo	165	%%DATADIR%%/overlays/sc16is752-i2c.dtbo
135	%%DATADIR%%/overlays/sc16is752-spi1.dtbo	166	%%DATADIR%%/overlays/sc16is752-spi1.dtbo
136	%%DATADIR%%/overlays/sdhost.dtbo	167	%%DATADIR%%/overlays/sdhost.dtbo
137	%%DATADIR%%/overlays/sdio-1bit.dtbo
138	%%DATADIR%%/overlays/sdio.dtbo	168	%%DATADIR%%/overlays/sdio.dtbo
139	%%DATADIR%%/overlays/sdtweak.dtbo	169	%%DATADIR%%/overlays/sdtweak.dtbo
140	%%DATADIR%%/overlays/smi-dev.dtbo	170	%%DATADIR%%/overlays/smi-dev.dtbo
Lines 141-146 Link Here
141	%%DATADIR%%/overlays/smi-nand.dtbo	171	%%DATADIR%%/overlays/smi-nand.dtbo
142	%%DATADIR%%/overlays/smi.dtbo	172	%%DATADIR%%/overlays/smi.dtbo
143	%%DATADIR%%/overlays/spi-gpio35-39.dtbo	173	%%DATADIR%%/overlays/spi-gpio35-39.dtbo
		174	%%DATADIR%%/overlays/spi-gpio40-45.dtbo
144	%%DATADIR%%/overlays/spi-rtc.dtbo	175	%%DATADIR%%/overlays/spi-rtc.dtbo
145	%%DATADIR%%/overlays/spi0-cs.dtbo	176	%%DATADIR%%/overlays/spi0-cs.dtbo
146	%%DATADIR%%/overlays/spi0-hw-cs.dtbo	177	%%DATADIR%%/overlays/spi0-hw-cs.dtbo
Lines 150-163 Link Here
150	%%DATADIR%%/overlays/spi2-1cs.dtbo	181	%%DATADIR%%/overlays/spi2-1cs.dtbo
151	%%DATADIR%%/overlays/spi2-2cs.dtbo	182	%%DATADIR%%/overlays/spi2-2cs.dtbo
152	%%DATADIR%%/overlays/spi2-3cs.dtbo	183	%%DATADIR%%/overlays/spi2-3cs.dtbo
		184	%%DATADIR%%/overlays/spi3-1cs.dtbo
		185	%%DATADIR%%/overlays/spi3-2cs.dtbo
		186	%%DATADIR%%/overlays/spi4-1cs.dtbo
		187	%%DATADIR%%/overlays/spi4-2cs.dtbo
		188	%%DATADIR%%/overlays/spi5-1cs.dtbo
		189	%%DATADIR%%/overlays/spi5-2cs.dtbo
		190	%%DATADIR%%/overlays/spi6-1cs.dtbo
		191	%%DATADIR%%/overlays/spi6-2cs.dtbo
		192	%%DATADIR%%/overlays/ssd1306.dtbo
153	%%DATADIR%%/overlays/superaudioboard.dtbo	193	%%DATADIR%%/overlays/superaudioboard.dtbo
154	%%DATADIR%%/overlays/sx150x.dtbo	194	%%DATADIR%%/overlays/sx150x.dtbo
155	%%DATADIR%%/overlays/tc358743-audio.dtbo	195	%%DATADIR%%/overlays/tc358743-audio.dtbo
156	%%DATADIR%%/overlays/tc358743.dtbo	196	%%DATADIR%%/overlays/tc358743.dtbo
157	%%DATADIR%%/overlays/tinylcd35.dtbo	197	%%DATADIR%%/overlays/tinylcd35.dtbo
		198	%%DATADIR%%/overlays/tpm-slb9670.dtbo
158	%%DATADIR%%/overlays/uart0.dtbo	199	%%DATADIR%%/overlays/uart0.dtbo
159	%%DATADIR%%/overlays/uart1.dtbo	200	%%DATADIR%%/overlays/uart1.dtbo
160	%%DATADIR%%/overlays/upstream-aux-interrupt.dtbo	201	%%DATADIR%%/overlays/uart2.dtbo
		202	%%DATADIR%%/overlays/uart3.dtbo
		203	%%DATADIR%%/overlays/uart4.dtbo
		204	%%DATADIR%%/overlays/uart5.dtbo
		205	%%DATADIR%%/overlays/udrc.dtbo
161	%%DATADIR%%/overlays/upstream.dtbo	206	%%DATADIR%%/overlays/upstream.dtbo
162	%%DATADIR%%/overlays/vc4-fkms-v3d.dtbo	207	%%DATADIR%%/overlays/vc4-fkms-v3d.dtbo
163	%%DATADIR%%/overlays/vc4-kms-kippah-7inch.dtbo	208	%%DATADIR%%/overlays/vc4-kms-kippah-7inch.dtbo
Lines 167-172 Link Here
167	%%DATADIR%%/overlays/w1-gpio.dtbo	212	%%DATADIR%%/overlays/w1-gpio.dtbo
168	%%DATADIR%%/overlays/wittypi.dtbo	213	%%DATADIR%%/overlays/wittypi.dtbo
169	%%DATADIR%%/start.elf	214	%%DATADIR%%/start.elf
		215	%%DATADIR%%/start4.elf
		216	%%DATADIR%%/start4cd.elf
		217	%%DATADIR%%/start4db.elf
		218	%%DATADIR%%/start4x.elf
170	%%DATADIR%%/start_cd.elf	219	%%DATADIR%%/start_cd.elf
171	%%DATADIR%%/start_db.elf	220	%%DATADIR%%/start_db.elf
172	%%DATADIR%%/start_x.elf	221	%%DATADIR%%/start_x.elf

Return to bug 241795

Lines 1-7 Link Here

(-)sysutils/rpi-firmware/Makefile (-6 / +5 lines)
1	# $FreeBSD$	1	# $FreeBSD$
2		2
3	PORTNAME= rpi-firmware	3	PORTNAME= rpi-firmware
4	PORTVERSION= 1.20181112	4	PORTVERSION= 1.20190925
5	CATEGORIES= sysutils	5	CATEGORIES= sysutils
6		6
7	MAINTAINER= uboot@FreeBSD.org	7	MAINTAINER= uboot@FreeBSD.org
Lines 18-29 Link Here
18		18
19	GH_ACCOUNT= raspberrypi gonzoua:pscimon	19	GH_ACCOUNT= raspberrypi gonzoua:pscimon
20	GH_PROJECT= firmware rpi3-psci-monitor:pscimon	20	GH_PROJECT= firmware rpi3-psci-monitor:pscimon
21	PSCI_TAG= 2b8890a	21	PSCI_TAG= 6bfbaff
22	GH_TAGNAME= ${PSCI_TAG}:pscimon	22	GH_TAGNAME= ${PSCI_TAG}:pscimon
23	PSCI_MONITOR= rpi3-psci-monitor-${PSCI_TAG}
24	PSCI_DIR= ${WRKDIR}/${PSCI_MONITOR}
25		23
26	BUILD_WRKSRC= ${PSCI_DIR}	24	BUILD_WRKSRC= ${WRKSRC_pscimon}
27	INSTALL_DIR= ${PREFIX}/share/${PORTNAME}	25	INSTALL_DIR= ${PREFIX}/share/${PORTNAME}
28		26
29	CONFIG_TXT_FILES= config.txt config_rpi_0_w.txt config_rpi3.txt	27	CONFIG_TXT_FILES= config.txt config_rpi_0_w.txt config_rpi3.txt
Lines 40-45 Link Here
40	do-install:	38	do-install:
41	${MKDIR} ${STAGEDIR}/${INSTALL_DIR}	39	${MKDIR} ${STAGEDIR}/${INSTALL_DIR}
42	cd ${WRKSRC}/boot && ${COPYTREE_SHARE} . ${STAGEDIR}/${INSTALL_DIR}/	40	cd ${WRKSRC}/boot && ${COPYTREE_SHARE} . ${STAGEDIR}/${INSTALL_DIR}/
43	${INSTALL_DATA} ${PSCI_DIR}/armstub8.bin ${STAGEDIR}/${INSTALL_DIR}/	41	${INSTALL_DATA} ${WRKSRC_pscimon}/armstub8.bin \
		42	${WRKSRC_pscimon}/armstub8-gic.bin ${STAGEDIR}/${INSTALL_DIR}/
44		43
45	.include <bsd.port.mk>	44	.include <bsd.port.mk>