ref: f059563b9d53d3e63e2d580ed61868153f24c481
parent: 8dfff00e50652e1c0580c307374991b8cd3b864f
author: cinap_lenrek <cinap_lenrek@felloff.net>
date: Sun Oct 21 20:15:39 EDT 2018
add /sys/src/boot/bcm/mkfile to download raspberry pi bootcode firmware
--- /dev/null
+++ b/sys/src/boot/bcm/mkfile
@@ -1,0 +1,12 @@
+URL=https://github.com/raspberrypi/firmware/raw/master/boot
+FILES=bootcode.bin fixup_cd.dat start_cd.elf LICENCE.broadcom
+
+all:V: $FILES
+
+clean:V:
+ rm -f $FILES
+
+$FILES:
+ for(i in $target){
+ hget -o $i $URL/$i
+ }