Add support for Arty A7-100t board

references/USAGES.md

@@ -11,10 +11,13 @@ These videos skipped step3 and regarded step4 as step3 since QEMU is a newly add
 Running on QEMU is easier, but
 if you wish to run it on the board for more fun, 
 you will need to purchase the following hardware:
-* an Artix-7 35T [Arty FPGA development board](https://www.xilinx.com/products/boards-and-kits/arty.html)
+* an [Arty A7-35T board](https://www.xilinx.com/products/boards-and-kits/arty.html)
 * a microUSB cable (e.g., [microUSB-to-USB-C](https://www.amazon.com/dp/B0744BKDRD?psc=1&ref=ppx_yo2_dt_b_product_details))
 * [optional] a [microSD Pmod](https://digilent.com/reference/pmod/pmodmicrosd/start?redirect=1), a [microSD reader](https://www.amazon.com/dp/B07G5JV2B5?psc=1&ref=ppx_yo2_dt_b_product_details) and a microSD card (e.g., [Sandisk](https://www.amazon.com/dp/B073K14CVB?ref=ppx_yo2_dt_b_product_details&th=1))
 
+You can also use the `Arty A7-100T` board.
+Search `Arty A7-100T` in `tools/mkrom.c` and `tools/fpga/openocd/7series.txt` and follow the instructions in the comments.
+
 ## Step1: Setup the compiler and compile egos-2000
 
 Setup your working directory and name it as `$EGOS`.

tools/fpga/openocd/7series.txt

@@ -28,6 +28,8 @@ puts [drscan xc7.tap 32 0]
 puts "Programming FPGA..."
 
 jtagspi_init 0 bscan_spi_xc7a35t.bit
+#Use the one below if you are using an Arty A7-100T board
+#jtagspi_init 0 bscan_spi_xc7a100t.bit
 jtagspi_program ../../bootROM.bin 0 
 
 exit

tools/mkrom.c

@@ -38,8 +38,10 @@ int load_file(char* file_name, char* print_name, char* dst) {
  return st.st_size;
 }
 
-int main() {
- fe310_size = load_file("fpga/freedom/fe310_cpu.bin", "FE310 binary", mem_fe310);
+int main(int argc, char** argv) {
+ fe310_size = load_file("fpga/freedom/fe310_cpu_a7_35t.bin", "FE310 binary", mem_fe310);
+ // Use the one below if you are using an Arty A7-100T board
+ //fe310_size = load_file("fpga/freedom/fe310_cpu_a7_100t.bin", "FE310 binary", mem_fe310);
  earth_size = load_file("earth.bin", "Earth binary", mem_earth);
  disk_size = load_file("disk.img", "Disk image ", mem_disk);