#ifndef MK20DX256_REG_H
#define MK20DX256_REG_H

#include <reg/port.h>
#include <reg/sim.h>
//#include <reg/rcm.h>
//#include <reg/smc.h>
#include <reg/pmc.h>
//#include <reg/llwu.h>
//#include <reg/mcm.h>
//#include <reg/axbs.h>
//#include <reg/aips.h>
//#include <reg/dmamux.h>
//#include <reg/dma.h>
//#include <reg/ewm.h>
#include <reg/wdog.h>
#include <reg/mcg.h>
//#include <reg/osc.h>
//#include <reg/rtc.h>
//#include <reg/fmc.h>
//#include <reg/ftfl.h>
/*#include <reg/ezport.h>*/
//#include <reg/crc.h>
//#include <reg/adc.h>
//#include <reg/cmp.h>
//#include <reg/dac.h>
//#include <reg/vref.h>
//#include <reg/pdb.h>
//#include <reg/ftm.h>
#include <reg/pit.h>
//#include <reg/lptmr.h>
//#include <reg/cmt.h>
//#include <reg/rtc.h>
#include <reg/usbotg.h>
//#include <reg/usbdcd.h>
//#include <reg/can.h>
//#include <reg/spi.h>
#include <reg/i2c.h>
#include <reg/uart.h>
//#include <reg/i2s.h>
#include <reg/gpio.h>
//#include <reg/tsi.h>
//#include <reg/jtagc.h>

#endif /* MK20DX256_REG_H */