diff --git a/kernel/chips/kairos/soc.c b/kernel/chips/kairos/soc.c
index 7b10467..17a13a6 100644
--- a/kernel/chips/kairos/soc.c
+++ b/kernel/chips/kairos/soc.c
@@ -18,19 +18,7 @@
 
 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);
-
-#else
-
-  pos_freq_domains[PI_FREQ_DOMAIN_FC] = ARCHI_FPGA_FC_FREQUENCY;
-
-  pos_freq_domains[PI_FREQ_DOMAIN_PERIPH] = ARCHI_FPGA_PER_FREQUENCY;
-
-#endif
 }