include examples/c/cloud-migration/cloud-migration.tesh
include examples/c/cloud-simple/cloud-simple.c
include examples/c/cloud-simple/cloud-simple.tesh
+include examples/c/energy-exec-ptask/energy-exec-ptask.c
+include examples/c/energy-exec-ptask/energy-exec-ptask.tesh
include examples/c/energy-exec/energy-exec.c
include examples/c/energy-exec/energy-exec.tesh
include examples/c/energy-vm/energy-vm.c
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/msg/app-bittorrent/tracker.h
include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.c
include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.tesh
-include teshsuite/msg/energy-ptask/energy-ptask.c
-include teshsuite/msg/energy-ptask/energy-ptask.tesh
include teshsuite/msg/get_sender/get_sender.c
include teshsuite/msg/get_sender/get_sender.tesh
include teshsuite/msg/host_on_off_processes/host_on_off_processes.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