include teshsuite/java/semaphoregc/semaphoregc.tesh
include teshsuite/java/sleephostoff/SleepHostOff.java
include teshsuite/java/sleephostoff/sleephostoff.tesh
+include teshsuite/kernel/context-defaults/context-defaults.cpp
+include teshsuite/kernel/context-defaults/factory_boost.tesh
+include teshsuite/kernel/context-defaults/factory_raw.tesh
+include teshsuite/kernel/context-defaults/factory_thread.tesh
+include teshsuite/kernel/context-defaults/factory_ucontext.tesh
+include teshsuite/kernel/context-stacksize/context-stacksize.cpp
+include teshsuite/kernel/context-stacksize/context-stacksize.tesh
include teshsuite/mc/dwarf-expression/dwarf-expression.cpp
include teshsuite/mc/dwarf-expression/dwarf-expression.tesh
include teshsuite/mc/dwarf/dwarf.cpp
include teshsuite/simdag/platforms/two_hosts_multi_hop.xml
include teshsuite/simdag/platforms/two_hosts_one_link.xml
include teshsuite/simdag/platforms/two_hosts_one_link_splitduplex.xml
-include teshsuite/simix/check-defaults/check-defaults.cpp
-include teshsuite/simix/check-defaults/factory_boost.tesh
-include teshsuite/simix/check-defaults/factory_raw.tesh
-include teshsuite/simix/check-defaults/factory_thread.tesh
-include teshsuite/simix/check-defaults/factory_ucontext.tesh
include teshsuite/simix/generic-simcalls/generic-simcalls.cpp
include teshsuite/simix/generic-simcalls/generic-simcalls.tesh
include teshsuite/simix/stack-overflow/stack-overflow.cpp
include src/xbt/xbt_virtu.cpp
include src/xbt_modinter.h
include teshsuite/java/CMakeLists.txt
+include teshsuite/kernel/CMakeLists.txt
include teshsuite/lua/CMakeLists.txt
include teshsuite/lua/lua_platforms.tesh
include teshsuite/mc/CMakeLists.txt