shithub: riscv

Info  •  Files  •  Log  •  Branches

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

--- a/sys/lib/dist/mkfile

+++ b/sys/lib/dist/mkfile

@@ -53,15 +53,18 @@

 %.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'

 	}

--- 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 LICENCE.broadcom

+FILES=bootcode.bin fixup_cd.dat start_cd.elf fixup4cd.dat start4cd.elf LICENCE.broadcom

 all:V:	$FILES