diff --git a/include/chips/marsellus/soc.h b/include/chips/marsellus/soc.h
index 42ea28a..20814c6 100644
--- a/include/chips/marsellus/soc.h
+++ b/include/chips/marsellus/soc.h
@@ -22,7 +22,7 @@
 #define POS_FLL_PERIPH 1
 #define POS_FLL_FC 0
 
-extern PI_FC_TINY int pos_freq_domains[ARCHI_NB_FLL];
+extern int pos_freq_domains[ARCHI_NB_FLL];
 
 
 void pos_soc_init();
diff --git a/include/chips/pulp/soc.h b/include/chips/pulp/soc.h
index ac505a3..65fa71f 100644
--- a/include/chips/pulp/soc.h
+++ b/include/chips/pulp/soc.h
@@ -22,7 +22,7 @@
 #define POS_FLL_PERIPH 1
 #define POS_FLL_FC 0
 
-extern PI_FC_TINY int pos_freq_domains[ARCHI_NB_FLL];
+extern int pos_freq_domains[ARCHI_NB_FLL];
 
 
 void pos_soc_init();
diff --git a/include/chips/pulpissimo/soc.h b/include/chips/pulpissimo/soc.h
index 3349b81..3b60974 100644
--- a/include/chips/pulpissimo/soc.h
+++ b/include/chips/pulpissimo/soc.h
@@ -22,7 +22,7 @@
 #define POS_FLL_PERIPH 1
 #define POS_FLL_FC 0
 
-extern PI_FC_TINY int pos_freq_domains[ARCHI_NB_FLL];
+extern int pos_freq_domains[ARCHI_NB_FLL];
 
 
 void pos_soc_init();
diff --git a/include/data/data.h b/include/data/data.h
index 0a2bacd..8d8acbd 100644
--- a/include/data/data.h
+++ b/include/data/data.h
@@ -31,7 +31,7 @@
 #endif
 
 
-#define FC_GLOBAL_DATA __attribute__((section(".data_fc")))
+#define FC_GLOBAL_DATA __attribute__((section(".l2_data")))
 #define FC_DATA FC_GLOBAL_DATA
 
 #define PI_FC_TINY FC_DATA
diff --git a/kernel/chips/pulp/soc.c b/kernel/chips/pulp/soc.c
index 5c3c9a4..1d4b1bb 100644
--- a/kernel/chips/pulp/soc.c
+++ b/kernel/chips/pulp/soc.c
@@ -24,6 +24,7 @@ void pos_soc_init()
 
   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);
 }
 
diff --git a/kernel/soc_event.c b/kernel/soc_event.c
index 9d440a4..8513491 100644
--- a/kernel/soc_event.c
+++ b/kernel/soc_event.c
@@ -16,7 +16,7 @@
 
 #include "pulp.h"
 
-volatile PI_FC_TINY unsigned int pos_soc_event_status[ARCHI_SOC_EVENT_NB_TOTAL/32];
+volatile unsigned int pos_soc_event_status[ARCHI_SOC_EVENT_NB_TOTAL/32];
 
 extern void pos_soc_event_handler_asm();
 
diff --git a/lib/libc/minimal/io.c b/lib/libc/minimal/io.c
index a317d6c..ace77c9 100644
--- a/lib/libc/minimal/io.c
+++ b/lib/libc/minimal/io.c
@@ -30,7 +30,7 @@ static L1_DATA int io_lock = 0;
 
 
 #if defined(CONFIG_IO_UART) && CONFIG_IO_UART == 1
-static PI_FC_TINY int pos_io_uart_enabled = 0;
+static int pos_io_uart_enabled = 0;
 static PI_L2 uint8_t pos_io_uart_buffer;
 #endif
 
diff --git a/rules/pulpos/default_rules.mk b/rules/pulpos/default_rules.mk
index 6c98edc..1e4c986 100644
--- a/rules/pulpos/default_rules.mk
+++ b/rules/pulpos/default_rules.mk
@@ -3,6 +3,10 @@ ifndef VERBOSE
 V = @
 endif
 
+ifdef VERBOSE
+override runner_args += --config-opt=**/runner/verbose=true
+endif
+
 platform ?= rtl