add raspberry pi 4 kernel and bootloader to pi3.img target

This commit is contained in:
cinap_lenrek 2019-08-18 21:43:04 +02:00
parent f35d5ee5b0
commit 534be5aeb3
2 changed files with 7 additions and 4 deletions

9
sys/lib/dist/mkfile vendored
View file

@ -53,15 +53,18 @@ cd:V: /tmp/9front.386.iso.gz
%.pi3.img:
@{
objtype=arm64
bootcode=/sys/src/boot/bcm/^(bootcode.bin fixup_cd.dat start_cd.elf LICENCE.broadcom)
kernel=/n/src9/$objtype/9pi3
bootcode=/sys/src/boot/bcm/^(bootcode.bin fixup_cd.dat start_cd.elf fixup4cd.dat start4cd.elf LICENCE.broadcom)
kernel=/n/src9/$objtype/^(9pi3 9pi4)
> /env/config.txt {
echo '[pi4]'
echo 'kernel=9pi4'
echo 'arm_64bit=1'
echo '[pi3]'
echo 'kernel=9pi3'
echo 'arm_64bit=1'
echo 'core_freq=250'
echo '[all]'
echo 'gpu_mem=16'
echo 'core_freq=250'
echo 'enable_uart=1'
echo 'boot_delay=1'
}

View file

@ -1,5 +1,5 @@
URL=https://github.com/raspberrypi/firmware/raw/master/boot
FILES=bootcode.bin fixup_cd.dat start_cd.elf LICENCE.broadcom
FILES=bootcode.bin fixup_cd.dat start_cd.elf fixup4cd.dat start4cd.elf LICENCE.broadcom
all:V: $FILES