/*
 * irq.h
 *
 *  Created on: Sep 25, 2015
 *      Author: tkl
 */

#ifndef IRQ_H_
#define IRQ_H_

#ifdef ARCH_MSP430
#include "msp430_irq.h"
#endif
#ifdef ARCH_STM32F4XX
#include "stm32f4xx_irq.h"
#endif
#endif /* IRQ_H_ */
