src/kernel.d src/kernel.o: ../src/kernel.cpp ../src/rtos.h \
 ../src/commdefs.h ../src/target.h ../src/rtos_target_cfg.h \
 ../src/kernel.h ../src/rtos_defs.h ../src/rtos_config.h ../src/process.h \
 ../src/tisrw.h

../src/rtos.h:

../src/commdefs.h:

../src/target.h:

../src/rtos_target_cfg.h:

../src/kernel.h:

../src/rtos_defs.h:

../src/rtos_config.h:

../src/process.h:

../src/tisrw.h: