+set(KERNEL_HEADERS
+ src/kernel/resource/Action.hpp
+ src/kernel/resource/Model.hpp
+ src/kernel/resource/Resource.hpp
+
+ src/kernel/routing/ClusterZone.hpp
+ src/kernel/routing/DijkstraZone.hpp
+ src/kernel/routing/DragonflyZone.hpp
+ src/kernel/routing/EmptyZone.hpp
+ src/kernel/routing/FatTreeZone.hpp
+ src/kernel/routing/FloydZone.hpp
+ src/kernel/routing/FullZone.hpp
+ src/kernel/routing/NetPoint.hpp
+ src/kernel/routing/RoutedZone.hpp
+ src/kernel/routing/TorusZone.hpp
+ src/kernel/routing/VivaldiZone.hpp
+)
+