build/./kernel_cfg.o: kernel_cfg.c \
  ../../ecrobot/../toppers_osek/kernel/osek_kernel.h \
  ../../ecrobot/../toppers_osek/include/kernel.h \
  ../../ecrobot/../toppers_osek/config/at91sam7s-gnu/lego_nxt/sys_defs.h \
  ../../ecrobot/../toppers_osek/config/at91sam7s-gnu/cpu_defs.h \
  ../../ecrobot/../toppers_osek/include/osek.h \
  ../../ecrobot/../toppers_osek/include/t_stddef.h \
  ../../ecrobot/../toppers_osek/config/at91sam7s-gnu/tool_defs.h \
  ../../ecrobot/../toppers_osek/include/t_config.h \
  ../../ecrobot/../toppers_osek/config/at91sam7s-gnu/lego_nxt/sys_config.h \
  ../../ecrobot/../toppers_osek/config/at91sam7s-gnu/cpu_config.h \
  ../../ecrobot/../toppers_osek/config/at91sam7s-gnu/cpu_insn.h \
  ../../ecrobot/../toppers_osek/config/at91sam7s-gnu/tool_config.h \
  kernel_id.h ../../ecrobot/../toppers_osek/kernel/alarm.h \
  ../../ecrobot/../toppers_osek/kernel/interrupt.h \
  ../../ecrobot/../toppers_osek/kernel/resource.h \
  ../../ecrobot/../toppers_osek/kernel/task.h
