/*
 * schedule.h
 *
 *  Created on: Feb 20, 2015
 *      Author: tkl
 */

#ifndef SCHEDULE_H_
#define SCHEDULE_H_

#ifdef ARCH_MSP430
#include "msp430_schedule.h"
#endif
#ifdef ARCH_STM32F4XX
#include "stm32f4xx_ctx.h"
#endif

void schedule_start(void);
#define schedule() arch_schedule()

#endif /* SCHEDULE_H_ */
