git: 9front

Download patch

ref: a6d86b53a120ed6685f7ad137c481f8fc50c9775
parent: 2e57b8bfe51aeedba485a6ce7308c9cb919afb3f
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
+	}
--