diff --git a/src/plugins/pdg_types/pdgIndex.ml b/src/kernel_externals/pdg_types/pdgIndex.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgIndex.ml
rename to src/kernel_externals/pdg_types/pdgIndex.ml
diff --git a/src/plugins/pdg_types/pdgIndex.mli b/src/kernel_externals/pdg_types/pdgIndex.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgIndex.mli
rename to src/kernel_externals/pdg_types/pdgIndex.mli
diff --git a/src/plugins/pdg_types/pdgMarks.ml b/src/kernel_externals/pdg_types/pdgMarks.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgMarks.ml
rename to src/kernel_externals/pdg_types/pdgMarks.ml
diff --git a/src/plugins/pdg_types/pdgMarks.mli b/src/kernel_externals/pdg_types/pdgMarks.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgMarks.mli
rename to src/kernel_externals/pdg_types/pdgMarks.mli
diff --git a/src/plugins/pdg_types/pdgTypes.ml b/src/kernel_externals/pdg_types/pdgTypes.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgTypes.ml
rename to src/kernel_externals/pdg_types/pdgTypes.ml
diff --git a/src/plugins/pdg_types/pdgTypes.mli b/src/kernel_externals/pdg_types/pdgTypes.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgTypes.mli
rename to src/kernel_externals/pdg_types/pdgTypes.mli
diff --git a/src/plugins/value_types/README.md b/src/kernel_externals/value_types/README.md
similarity index 100%
rename from src/plugins/value_types/README.md
rename to src/kernel_externals/value_types/README.md
diff --git a/src/plugins/value_types/cilE.ml b/src/kernel_externals/value_types/cilE.ml
similarity index 100%
rename from src/plugins/value_types/cilE.ml
rename to src/kernel_externals/value_types/cilE.ml
diff --git a/src/plugins/value_types/cilE.mli b/src/kernel_externals/value_types/cilE.mli
similarity index 100%
rename from src/plugins/value_types/cilE.mli
rename to src/kernel_externals/value_types/cilE.mli
diff --git a/src/plugins/value_types/cvalue.ml b/src/kernel_externals/value_types/cvalue.ml
similarity index 100%
rename from src/plugins/value_types/cvalue.ml
rename to src/kernel_externals/value_types/cvalue.ml
diff --git a/src/plugins/value_types/cvalue.mli b/src/kernel_externals/value_types/cvalue.mli
similarity index 100%
rename from src/plugins/value_types/cvalue.mli
rename to src/kernel_externals/value_types/cvalue.mli
diff --git a/src/plugins/value_types/function_Froms.ml b/src/kernel_externals/value_types/function_Froms.ml
similarity index 100%
rename from src/plugins/value_types/function_Froms.ml
rename to src/kernel_externals/value_types/function_Froms.ml
diff --git a/src/plugins/value_types/function_Froms.mli b/src/kernel_externals/value_types/function_Froms.mli
similarity index 100%
rename from src/plugins/value_types/function_Froms.mli
rename to src/kernel_externals/value_types/function_Froms.mli
diff --git a/src/plugins/value_types/inout_type.ml b/src/kernel_externals/value_types/inout_type.ml
similarity index 100%
rename from src/plugins/value_types/inout_type.ml
rename to src/kernel_externals/value_types/inout_type.ml
diff --git a/src/plugins/value_types/inout_type.mli b/src/kernel_externals/value_types/inout_type.mli
similarity index 100%
rename from src/plugins/value_types/inout_type.mli
rename to src/kernel_externals/value_types/inout_type.mli
diff --git a/src/plugins/value_types/precise_locs.ml b/src/kernel_externals/value_types/precise_locs.ml
similarity index 100%
rename from src/plugins/value_types/precise_locs.ml
rename to src/kernel_externals/value_types/precise_locs.ml
diff --git a/src/plugins/value_types/precise_locs.mli b/src/kernel_externals/value_types/precise_locs.mli
similarity index 100%
rename from src/plugins/value_types/precise_locs.mli
rename to src/kernel_externals/value_types/precise_locs.mli
diff --git a/src/plugins/value_types/value_types.ml b/src/kernel_externals/value_types/value_types.ml
similarity index 100%
rename from src/plugins/value_types/value_types.ml
rename to src/kernel_externals/value_types/value_types.ml
diff --git a/src/plugins/value_types/value_types.mli b/src/kernel_externals/value_types/value_types.mli
similarity index 100%
rename from src/plugins/value_types/value_types.mli
rename to src/kernel_externals/value_types/value_types.mli
diff --git a/src/plugins/value_types/widen_type.ml b/src/kernel_externals/value_types/widen_type.ml
similarity index 100%
rename from src/plugins/value_types/widen_type.ml
rename to src/kernel_externals/value_types/widen_type.ml
diff --git a/src/plugins/value_types/widen_type.mli b/src/kernel_externals/value_types/widen_type.mli
similarity index 100%
rename from src/plugins/value_types/widen_type.mli
rename to src/kernel_externals/value_types/widen_type.mli