100644 blob 2c1ad61dd437de6ef9361e1922b858f0e3fb437c	Makefile
100644 blob bf9bbcbfcc0136dd027aee17b4beedb9073ce33e	fwrisc_fetch_formal.sby
100755 blob 99a404fff13064859bbf510ae98325c88b40b8f3	status.sh