fw: update SRAM_SIZE to 32K

fpga/output_files/max80.map

@@ -11,7 +11,7 @@ Quad-Serial configuration device dummy clock cycle: 8
 
 Notes:
 
-- Data checksum for this conversion is 0xF3760FE4
+- Data checksum for this conversion is 0xF3761139
 
 - All the addresses in this file are byte addresses
 

fw/boot.mif

@@ -4,7 +4,7 @@ WIDTH = 32;
 ADDRESS_RADIX = HEX;
 DATA_RADIX = HEX;
 CONTENT BEGIN
-0000 : 00002137;
+0000 : 00008137;
 0001 : 31E0006F;
 0002 : 00000000;
 0003 : 00000000;

fw/sys.h

@@ -1,6 +1,6 @@
 #ifndef SYS_H
 #define SYS_H
 
-#define SRAM_SIZE	8192	/* Size of builtin SRAM */
+#define SRAM_SIZE	32768	/* Size of builtin SRAM */
 
 #endif /* SYS_H */