diff --git a/core/Flist.cva6 b/core/Flist.cva6
index 3881281736..ca9f856acd 100644
--- a/core/Flist.cva6
+++ b/core/Flist.cva6
@@ -32,7 +32,7 @@ ${CVA6_REPO_DIR}/vendor/pulp-platform/fpga-support/rtl/AsyncThreePortRam.sv
 
 +incdir+${CVA6_REPO_DIR}/vendor/pulp-platform/common_cells/include/
 +incdir+${CVA6_REPO_DIR}/vendor/pulp-platform/common_cells/src/
-+incdir+${CVA6_REPO_DIR}/vendor/pulp-platform/axi/include/
+//+incdir+${CVA6_REPO_DIR}/vendor/pulp-platform/axi/include/
 +incdir+${CVA6_REPO_DIR}/common/local/util/
 
 // Floating point unit