diff --git a/kernel/chips/pulp/soc.c b/kernel/chips/pulp/soc.c
index 56ee799..0375a6e 100644
--- a/kernel/chips/pulp/soc.c
+++ b/kernel/chips/pulp/soc.c
@@ -31,7 +31,7 @@ void pos_soc_init()
 
 #else
 
-  pos_freq_domains[PI_FREQ_DOMAIN_CL] = PERIPH_FREQUENCY;
+  pos_freq_domains[PI_FREQ_DOMAIN_CL] = ARCHI_FPGA_FREQUENCY;
 
 #endif
 }
diff --git a/kernel/chips/pulpissimo/soc.c b/kernel/chips/pulpissimo/soc.c
index 6cd805a..b79ecad 100644
--- a/kernel/chips/pulpissimo/soc.c
+++ b/kernel/chips/pulpissimo/soc.c
@@ -25,10 +25,10 @@ void pos_soc_init()
   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);
-  
+
 #else
 
-  pos_freq_domains[PI_FREQ_DOMAIN_CL] = PERIPH_FREQUENCY;
+  pos_freq_domains[PI_FREQ_DOMAIN_CL] = ARCHI_FPGA_FREQUENCY;
 
 #endif
 }
diff --git a/rules/pulpos/default_rules.mk b/rules/pulpos/default_rules.mk
index b1328cf..654fa33 100644
--- a/rules/pulpos/default_rules.mk
+++ b/rules/pulpos/default_rules.mk
@@ -38,6 +38,7 @@ VPATH = $(PULPRT_HOME)
 
 include $(PULPRT_HOME)/rules/pulpos/src.mk
 
+PULP_CFLAGS += $(PULPRT_CONFIG_CFLAGS)
 PULP_CFLAGS += -fno-jump-tables -fno-tree-loop-distribute-patterns
 
 ifeq '$(CONFIG_LIBC_MINIMAL)' '1'