From dc012f0c54a03fce1c0a31dc7551c667266865cc Mon Sep 17 00:00:00 2001
From: Manuel Eggimann <meggimann@iis.ee.ethz.ch>
Date: Thu, 24 Jun 2021 22:02:19 +0200
Subject: [PATCH] Add config for nexys FPGA board

---
 configs/fpgas/pulpissimo/nexys.sh | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 configs/fpgas/pulpissimo/nexys.sh

diff --git a/configs/fpgas/pulpissimo/nexys.sh b/configs/fpgas/pulpissimo/nexys.sh
new file mode 100644
index 0000000..48b312d
--- /dev/null
+++ b/configs/fpgas/pulpissimo/nexys.sh
@@ -0,0 +1,22 @@
+#!/bin/bash -e
+
+export PULPRT_TARGET=pulpissimo
+export PULPRUN_TARGET=pulpissimo
+
+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
+
+export PULPRUN_PLATFORM=fpga
+
+#Nexys Video uses 5MHz SoC Frequency
+export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_PER_FREQUENCY=5000000 -DARCHI_FPGA_SOC_FREQUENCY=10000000'
+
+export io=uart