/* * ctx.h * * Created on: Feb 20, 2015 * Author: tkl */ #ifndef CTX_H_ #define CTX_H_ #ifdef ARCH_MSP430 #include "msp430_ctx.h" #endif #ifdef ARCH_STM32F4XX #include "stm32f4xx_ctx.h" #endif #endif /* CTX_H_ */