2016-07-28 21:02:54 +02:00
|
|
|
/*
|
|
|
|
|
* schedule.h
|
|
|
|
|
*
|
|
|
|
|
* Created on: Feb 20, 2015
|
|
|
|
|
* Author: tkl
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#ifndef SCHEDULE_H_
|
|
|
|
|
#define SCHEDULE_H_
|
|
|
|
|
|
2016-08-16 14:28:08 +02:00
|
|
|
#ifdef ARCH_STM32F4XX
|
2016-07-28 21:02:54 +02:00
|
|
|
#include "stm32f4xx_ctx.h"
|
2016-08-16 14:28:08 +02:00
|
|
|
#endif
|
2016-07-28 21:02:54 +02:00
|
|
|
|
|
|
|
|
#define schedule() arch_schedule()
|
|
|
|
|
|
|
|
|
|
#endif /* SCHEDULE_H_ */
|
