From 5b2fdb62a2b3d8d32d3ec5b41a0c76246a2ba555 Mon Sep 17 00:00:00 2001
From: Manuel Eggimann <meggimann@iis.ee.ethz.ch>
Date: Thu, 5 Mar 2020 16:16:31 +0100
Subject: [PATCH] Add additional FPGA config files

---
 configs/fpgas/pulpissimo/genesys2.sh    | 14 ++++++++++++--
 configs/fpgas/pulpissimo/nexys_video.sh | 22 ++++++++++++++++++++++
 configs/fpgas/pulpissimo/zcu102.sh      | 22 ++++++++++++++++++++++
 configs/fpgas/pulpissimo/zcu104.sh      | 22 ++++++++++++++++++++++
 configs/fpgas/pulpissimo/zedboard.sh    | 22 ++++++++++++++++++++++
 5 files changed, 100 insertions(+), 2 deletions(-)
 create mode 100644 configs/fpgas/pulpissimo/nexys_video.sh
 create mode 100644 configs/fpgas/pulpissimo/zcu102.sh
 create mode 100644 configs/fpgas/pulpissimo/zcu104.sh
 create mode 100644 configs/fpgas/pulpissimo/zedboard.sh

diff --git a/configs/fpgas/pulpissimo/genesys2.sh b/configs/fpgas/pulpissimo/genesys2.sh
index f316e2b..6e87066 100644
--- a/configs/fpgas/pulpissimo/genesys2.sh
+++ b/configs/fpgas/pulpissimo/genesys2.sh
@@ -3,10 +3,20 @@
 export PULPRT_TARGET=pulpissimo
 export PULPRUN_TARGET=pulpissimo
 
-scriptDir="$(dirname "$(dirname "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")")")"
+if [  -n "${ZSH_VERSION:-}" ]; then 
+    DIR="$(readlink -f -- "${(%):-%x}")"
+    scriptDir="$(dirname $DIR)"
+else
 
-source $scriptDir/common.sh
+    scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
+
+fi
+
+source $scriptDir/../../common.sh
 
 export PULPRUN_PLATFORM=fpga
 
+#Genesys2 uses 10MHz SoC Frequency
+export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_FREQUENCY=10000000'
+
 export io=uart
diff --git a/configs/fpgas/pulpissimo/nexys_video.sh b/configs/fpgas/pulpissimo/nexys_video.sh
new file mode 100644
index 0000000..47b473a
--- /dev/null
+++ b/configs/fpgas/pulpissimo/nexys_video.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_FREQUENCY=5000000'
+
+export io=uart
diff --git a/configs/fpgas/pulpissimo/zcu102.sh b/configs/fpgas/pulpissimo/zcu102.sh
new file mode 100644
index 0000000..4eb9f63
--- /dev/null
+++ b/configs/fpgas/pulpissimo/zcu102.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
+
+#ZCU102 uses 10MHz SoC Frequency
+export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_FREQUENCY=10000000'
+
+export io=uart
diff --git a/configs/fpgas/pulpissimo/zcu104.sh b/configs/fpgas/pulpissimo/zcu104.sh
new file mode 100644
index 0000000..68d5ac7
--- /dev/null
+++ b/configs/fpgas/pulpissimo/zcu104.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
+
+#ZCU104 uses 10MHz SoC Frequency
+export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_FREQUENCY=10000000'
+
+export io=uart
diff --git a/configs/fpgas/pulpissimo/zedboard.sh b/configs/fpgas/pulpissimo/zedboard.sh
new file mode 100644
index 0000000..297ff38
--- /dev/null
+++ b/configs/fpgas/pulpissimo/zedboard.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
+
+#Zedboard uses 10MHz SoC Frequency
+export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_FREQUENCY=10000000'
+
+export io=uart