From 24544b80f54a47862ae90ab915b2e4e16c968059 Mon Sep 17 00:00:00 2001 From: cinap_lenrek Date: Mon, 6 May 2019 18:29:09 +0200 Subject: dist/mkfile: add *.pi3.img target for ARM64 raspberry pi3 --- sys/lib/dist/mkfile | 27 ++++++++++++++++++++++++++- 1 file changed, 26 insertions(+), 1 deletion(-) diff --git a/sys/lib/dist/mkfile b/sys/lib/dist/mkfile index faae876f8..3921e425d 100644 --- a/sys/lib/dist/mkfile +++ b/sys/lib/dist/mkfile @@ -39,6 +39,7 @@ cd:V: /tmp/9front.386.iso.gz echo '[all]' echo 'gpu_mem=16' echo 'enable_uart=1' + echo 'boot_delay=1' } > /env/cmdline.txt { echo 'console=0' @@ -49,6 +50,30 @@ cd:V: /tmp/9front.386.iso.gz mv $target.$pid.disk $target } +%.pi3.img: + @{ + objtype=arm64 + bootcode=/sys/src/boot/bcm/^(bootcode.bin fixup_cd.dat start_cd.elf LICENCE.broadcom) + kernel=/n/src9/$objtype/9pi3 + > /env/config.txt { + echo '[pi3]' + echo 'kernel=9pi3' + echo 'arm_64bit=1' + echo 'core_freq=250' + echo '[all]' + echo 'gpu_mem=16' + echo 'enable_uart=1' + echo 'boot_delay=1' + } + > /env/cmdline.txt { + echo 'console=0' + } + fatfiles=(/env/config.txt /env/cmdline.txt $bootcode $kernel) + mb=1919 # storage vendors idea of 2GB + mk $target.$pid.disk + mv $target.$pid.disk $target + } + %.zynq.img: @{ objtype=arm @@ -100,7 +125,7 @@ cd:V: /tmp/9front.386.iso.gz disk/partfs -m /n/$s $target d=/n/$s/sdXX disk/mbr $d/data - if(~ $target *.pi.img.*){ + if(~ $target *.pi.img.* *.pi3.img.*){ { echo 'a p1 . .+100M' echo 't p1 FAT32' -- cgit v1.2.3