Add Tethered config to CI

2023-05-25 23:55:15 -07:00
parent ec7310dad0
commit dda5770595
3 changed files with 30 additions and 2 deletions
--- a/.github/scripts/run-tests.sh
+++ b/.github/scripts/run-tests.sh
@@ -105,6 +105,9 @@ case $1 in
        run_binary BINARY=$LOCAL_CHIPYARD_DIR/tests/spiflashwrite.riscv
        [[ "`xxd $LOCAL_CHIPYARD_DIR/tests/spiflash.img  | grep 1337\ 00ff\ aa55\ face | wc -l`" == "6" ]] || false
        ;;
+    chipyard-tethered)
+        make -C $LOCAL_CHIPYARD_DIR/tests
+        run_binary BINARY=$LOCAL_CHIPYARD_DIR/tests/hello.riscv LOADMEM=1 EXTRA_SIM_FLAGS="+cflush_addr=0x2010200"
    tracegen)
        run_tracegen
        ;;