diff options
author | cinap_lenrek <cinap_lenrek@felloff.net> | 2019-05-06 18:29:09 +0200 |
---|---|---|
committer | cinap_lenrek <cinap_lenrek@felloff.net> | 2019-05-06 18:29:09 +0200 |
commit | 24544b80f54a47862ae90ab915b2e4e16c968059 (patch) | |
tree | fbdafc78aa6c9b1c17adddd662b533e3369d2155 /sys/lib | |
parent | f22b4ecc77afe5ffb81560000fcacb9e3b1744f8 (diff) |
dist/mkfile: add *.pi3.img target for ARM64 raspberry pi3
Diffstat (limited to 'sys/lib')
-rw-r--r-- | sys/lib/dist/mkfile | 27 |
1 files changed, 26 insertions, 1 deletions
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' |