/* * schedule.h * * Created on: Feb 20, 2015 * Author: tkl */ #ifndef SCHEDULE_H_ #define SCHEDULE_H_ //#ifdef ARCH_STM32F4XX #include "stm32f4xx_ctx.h" //#endif #define schedule() arch_schedule() #endif /* SCHEDULE_H_ */