From fe3b92d52717bd30772c71cbd543284f90822854 Mon Sep 17 00:00:00 2001
From: Aadi Desai <21363892+supleed2@users.noreply.github.com>
Date: Sat, 10 Jun 2023 14:08:56 +0100
Subject: [PATCH] Switch from `vexriscv` to `picorv32`

Interrupts appear to be broken on `vexriscv`
Performance of `picorv32` is significantly lower than `vexriscv`
---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 70ef379..cd684b4 100755
--- a/build.sh
+++ b/build.sh
@@ -4,7 +4,7 @@ read -p "Rebuild gateware? [y/N]" -n 1 -r REBUILD
 if [[ $REBUILD =~ ^[Yy]$ ]]; then
     echo # Move to next line
     rm -f analyzer.csv csr.csv gsd_orangecrab.dfu kernel.bin && echo "Cleaned up previous run files"
-    python3 make.py --build --doc
+    python3 make.py --build --doc --cpu-type picorv32 --cpu-variant standard --nextpnr-ignoreloops
     cp build/gsd_orangecrab/gateware/gsd_orangecrab.bit gsd_orangecrab.dfu && echo "Copied .bit to .dfu"
     dfu-suffix -v 1209 -p 5af0 -a gsd_orangecrab.dfu && echo "Added DFU suffix for target (VID:PID)"
     rm -r docs/ && echo "Deleted old docs in project root"