add fpga config for marsellus

configs/fpgas/marsellus/virtex7.sh

@@ -1,4 +1,3 @@
-  
 #!/bin/bash -e
 
 export PULPRT_TARGET=marsellus
@@ -18,6 +17,6 @@ source $scriptDir/../../common.sh
 export PULPRUN_PLATFORM=fpga
 
 #Virtex7 uses 50MHz SoC Frequency
-export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_FREQUENCY=50000000'
+export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_FREQUENCY=20000000'
 
-export io=uart
+export io=uart

include/archi/chips/marsellus/properties.h

@@ -22,8 +22,17 @@
  * FPGA
  */
 
+#ifndef ARCHI_FPGA_FREQUENCY
 #define ARCHI_FPGA_FREQUENCY 5000000
+#endif
 
+#ifndef ARCHI_FPGA_FC_FREQUENCY
+#define ARCHI_FPGA_FC_FREQUENCY 5000000
+#endif
+
+#ifndef ARCHI_FPGA_CL_FREQUENCY
+#define ARCHI_FPGA_CL_FREQUENCY 5000000
+#endif
 /*
  * MEMORIES
  */ 

kernel/chips/marsellus/soc.c

@@ -18,12 +18,25 @@
 
 void pos_soc_init()
 {
+#if __PLATFORM__ != ARCHI_PLATFORM_FPGA
+
   pos_fll_constructor();
 
   pos_freq_domains[PI_FREQ_DOMAIN_FC] = pos_fll_init(POS_FLL_FC);
 
   pos_freq_domains[PI_FREQ_DOMAIN_PERIPH] = pos_fll_init(POS_FLL_PERIPH);
 
+
   pos_freq_domains[PI_FREQ_DOMAIN_CL] = pos_fll_init(POS_FLL_CL);
+
+#else
+
+  pos_freq_domains[PI_FREQ_DOMAIN_FC] = ARCHI_FPGA_FC_FREQUENCY;
+
+  pos_freq_domains[PI_FREQ_DOMAIN_PERIPH] = ARCHI_FPGA_FREQUENCY;
+
+  pos_freq_domains[PI_FREQ_DOMAIN_CL] = ARCHI_FPGA_CL_FREQUENCY;
+
+#endif
 }
 

rules/pulpos/targets/marsellus.mk

@@ -41,4 +41,9 @@ PULP_SRCS     += kernel/chips/marsellus/soc.c
 
 
 include $(PULPRT_HOME)/rules/pulpos/configs/default.mk
+
+ifeq '$(platform)' 'fpga'
+CONFIG_IO_UART=1
+endif
+
 include $(PULPRT_HOME)/rules/pulpos/default_rules.mk