file(REMOVE_RECURSE
  "CMakeFiles/kernel.dir/kernel/hermitux_profiler.c.obj"
  "CMakeFiles/kernel.dir/kernel/main.c.obj"
  "CMakeFiles/kernel.dir/kernel/minifs.c.obj"
  "CMakeFiles/kernel.dir/kernel/syscall.c.obj"
  "CMakeFiles/kernel.dir/kernel/tasks.c.obj"
  "CMakeFiles/kernel.dir/kernel/timer.c.obj"
)

# Per-language clean rules from dependency scanning.
foreach(lang C)
  include(CMakeFiles/kernel.dir/cmake_clean_${lang}.cmake OPTIONAL)
endforeach()
