/*
 * ext_interrupt.h
 *
 *  Created on: 3 Sep 2019
 *      Author: maximilian
 */

#ifndef PLATFORM_EXT_INTERRUPT_H_
#define PLATFORM_EXT_INTERRUPT_H_

#include "stm32f10x.h"
#include <stdlib.h>

void initExtInt(void);

#endif /* PLATFORM_EXT_INTERRUPT_H_ */