ref: ac98922f44c3df8839f1bdd07f23fcccf27d0cba
parent: 534be5aeb33760ebf77fd611a493bf959338225c
author: cinap_lenrek <cinap_lenrek@felloff.net>
date: Sun Aug 18 18:19:29 EDT 2019
add missing device tree file for raspberry pi 4
--- a/sys/lib/dist/mkfile
+++ b/sys/lib/dist/mkfile
@@ -53,7 +53,7 @@
%.pi3.img:
@{
objtype=arm64
- bootcode=/sys/src/boot/bcm/^(bootcode.bin fixup_cd.dat start_cd.elf fixup4cd.dat start4cd.elf LICENCE.broadcom)
+ bootcode=/sys/src/boot/bcm/^(bootcode.bin fixup_cd.dat start_cd.elf fixup4cd.dat start4cd.elf bcm2711-rpi-4-b.dtb LICENCE.broadcom)
kernel=/n/src9/$objtype/^(9pi3 9pi4)
> /env/config.txt {
echo '[pi4]'
--- a/sys/src/boot/bcm/mkfile
+++ b/sys/src/boot/bcm/mkfile
@@ -1,5 +1,5 @@
URL=https://github.com/raspberrypi/firmware/raw/master/boot
-FILES=bootcode.bin fixup_cd.dat start_cd.elf fixup4cd.dat start4cd.elf LICENCE.broadcom
+FILES=bootcode.bin fixup_cd.dat start_cd.elf fixup4cd.dat start4cd.elf bcm2711-rpi-4-b.dtb LICENCE.broadcom
all:V: $FILES