From 0f63e0b866ceecb86fc2cad8da29dca813c12c6e Mon Sep 17 00:00:00 2001
From: Michael Rogenmoser <michael@rogenmoser.us>
Date: Tue, 2 Feb 2021 11:16:07 +0100
Subject: [PATCH] Add ibex config scripts

---
 configs/pulp_ibex.sh       | 16 ++++++++++++++++
 configs/pulpissimo_ibex.sh | 16 ++++++++++++++++
 2 files changed, 32 insertions(+)
 create mode 100644 configs/pulp_ibex.sh
 create mode 100644 configs/pulpissimo_ibex.sh

diff --git a/configs/pulp_ibex.sh b/configs/pulp_ibex.sh
new file mode 100644
index 0000000..19373c6
--- /dev/null
+++ b/configs/pulp_ibex.sh
@@ -0,0 +1,16 @@
+#!/bin/bash -e
+
+export PULPRT_TARGET=pulp
+export PULPRUN_TARGET=pulp
+export USE_IBEX=1
+
+if [  -n "${ZSH_VERSION:-}" ]; then 
+        DIR="$(readlink -f -- "${(%):-%x}")"
+        scriptDir="$(dirname $DIR)"
+else
+
+    scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
+
+fi
+
+source $scriptDir/common.sh
diff --git a/configs/pulpissimo_ibex.sh b/configs/pulpissimo_ibex.sh
new file mode 100644
index 0000000..7dc0b19
--- /dev/null
+++ b/configs/pulpissimo_ibex.sh
@@ -0,0 +1,16 @@
+#!/bin/bash -e
+
+export PULPRT_TARGET=pulpissimo
+export PULPRUN_TARGET=pulpissimo
+export USE_IBEX=1
+
+if [  -n "${ZSH_VERSION:-}" ]; then 
+        DIR="$(readlink -f -- "${(%):-%x}")"
+        scriptDir="$(dirname $DIR)"
+else
+
+    scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
+
+fi
+
+source $scriptDir/common.sh