dist/mkfile: add *.pi3.img target for ARM64 raspberry pi3

[plan9front.git] / sys / lib / dist / mkfile

diff --git a/sys/lib/dist/mkfile b/sys/lib/dist/mkfile
index 6fb040377a0371c115527901612107f65381c5e1..3921e425d3b2a17dfc64b34028f60e95103344c2 100644 (file)
--- 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'
@@ -146,4 +171,5 @@ binds:V:
        bind mail/lib /n/src9/mail/lib
        bind ndb /n/src9/lib/ndb
        bind -a adm/timezone /n/src9/adm/timezone
+       aux/stub -d /n/src9/usr
        bind usr /n/src9/usr