From c26ac524cecd80fa178f44cdf19ab9a8d8f135d3 Mon Sep 17 00:00:00 2001
From: Germain Haugou <germain.haugou@iis.ee.ethz.ch>
Date: Thu, 19 Dec 2019 16:13:30 +0100
Subject: [PATCH] Now able to set fpga frequency from command line

---
 include/archi/chips/pulpissimo/properties.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/archi/chips/pulpissimo/properties.h b/include/archi/chips/pulpissimo/properties.h
index 7a7f126..9b9360d 100644
--- a/include/archi/chips/pulpissimo/properties.h
+++ b/include/archi/chips/pulpissimo/properties.h
@@ -22,7 +22,9 @@
  * FPGA
  */
 
+#ifndef ARCHI_FPGA_FREQUENCY
 #define ARCHI_FPGA_FREQUENCY 5000000
+#endif
 
 
 /*