100644 blob d17ed518a7ea416177a778cb30a3f0f2e0f53dc6	Bootloader-interface.txt
100644 blob 795adfd88081c0aed6d320396825576b014adfb6	GPIO.txt
100644 blob 8f7309bad4600982b928618d43059f359c64c9a8	Overview.txt
100755 blob 7be1b8aa7cd9a7766702b713b2102c34bb49d2ec	clksrc-change-registers.awk