ref: 24544b80f54a47862ae90ab915b2e4e16c968059
parent: f22b4ecc77afe5ffb81560000fcacb9e3b1744f8
author: cinap_lenrek <[email protected]>
date: Mon May 6 14:29:09 EDT 2019
dist/mkfile: add *.pi3.img target for ARM64 raspberry pi3
--- a/sys/lib/dist/mkfile
+++ b/sys/lib/dist/mkfile
@@ -39,6 +39,7 @@
echo '[all]'
echo 'gpu_mem=16'
echo 'enable_uart=1'
+ echo 'boot_delay=1'
}
> /env/cmdline.txt {echo 'console=0'
@@ -49,6 +50,30 @@
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 @@
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'