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
 
 
 /*