scripts: Add spike springbok execution script

Add the script to run springbok ELFs with spike simulator.

Change-Id: Id0cbe15cd6c31844a92ca098bab8a2c5f32bc73e

run-spike-springbok.sh

diff --git a/run-spike-springbok.sh b/run-spike-springbok.sh
new file mode 100755
index 0000000..50a8a75
--- /dev/null
+++ b/run-spike-springbok.sh
@@ -0,0 +1,25 @@
+#! /bin/bash
+# Run spike simulation on springbok ELFs
+
+if [[ -z "${ROOTDIR}" ]]; then
+  echo "Source build/setup.sh first"
+  exit 1
+fi
+
+if [[ ! -f "${OUT}/host/spike/bin/spike" ]]; then
+  echo "run \`m -j64 spike\` first"
+  exit 1
+fi
+
+if [[ "$#" -eq 0 || $1 == "--help" ]]; then
+  echo "Usage: run-spike-springbok.sh <elf path>"
+  exit 0
+fi
+
+# spike CLI options:
+# -m<a:m,b:n>: specifies the memory layout. Springbok currently has 1MB IMEM at
+#              0x3200_0000 and 16MB DMEM at 0x3400_0000
+# --varch: specifies the v-ext configuration w.r.t. vlen and elen.
+# --pc: ELF entry point. Set at the beginning of IMEM.
+"${OUT}/host/spike/bin/spike" -m0x32000000:0x100000,0x34000000:0x1000000 \
+ --varch=vlen:512,elen:32 --pc=0x32000000 $@