Merge pull request #6 from PaulStoffregen/master

resync

teensy3/DMAChannel.h

 #ifndef DMAChannel_h_
 #define DMAChannel_h_
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 
 // This code is a work-in-progress.  It's incomplete and not usable yet...
 //

teensy3/HardwareSerial.h

 #ifndef HardwareSerial_h
 #define HardwareSerial_h
 
-#include "mk20dx128.h"
-#include <inttypes.h>
+#include "kinetis.h"
 
 // uncomment to enable 9 bit formats
 //#define SERIAL_9BIT_SUPPORT

teensy3/IntervalTimer.h

 #ifndef __INTERVALTIMER_H__
 #define __INTERVALTIMER_H__
 
-#include <stdint.h>
-#include "mk20dx128.h"
+#include "kinetis.h"
 
 #ifdef __cplusplus
 extern "C" {

teensy3/avr_emulation.h

 #ifndef _avr_emulation_h_
 #define _avr_emulation_h_
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 #include "core_pins.h"
 #include "pins_arduino.h"
 

teensy3/core_pins.h

 #ifndef _core_pins_h_
 #define _core_pins_h_
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 #include "pins_arduino.h"
 
 
 static inline void analogWriteResolution(uint32_t bits) { analogWriteRes(bits); }
 void analogWriteFrequency(uint8_t pin, uint32_t frequency);
 void analogWriteDAC0(int val);
+#ifdef __cplusplus
+void attachInterruptVector(IRQ_NUMBER_t irq, void (*function)(void));
+#else
+void attachInterruptVector(enum IRQ_NUMBER_t irq, void (*function)(void));
+#endif
 void attachInterrupt(uint8_t pin, void (*function)(void), int mode);
 void detachInterrupt(uint8_t pin);
 void _init_Teensyduino_internal_(void);

teensy3/eeprom.c

  * SOFTWARE.
  */
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 #include <stdint.h>
 //#include "HardwareSerial.h"
 

teensy3/mk20dx128.c

  * SOFTWARE.
  */
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 
 
 extern unsigned long _stext;

teensy3/pins_teensy.c

 	// fast interrupts will still be serviced quickly?
 }
 
+void attachInterruptVector(enum IRQ_NUMBER_t irq, void (*function)(void))
+{
+	_VectorsRam[irq + 16] = function;
+}
+
 void attachInterrupt(uint8_t pin, void (*function)(void), int mode)
 {
 	volatile uint32_t *config;

teensy3/serial1.c

  * SOFTWARE.
  */
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 #include "core_pins.h"
 #include "HardwareSerial.h"
 

teensy3/serial2.c

  * SOFTWARE.
  */
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 #include "core_pins.h"
 #include "HardwareSerial.h"
 

teensy3/serial3.c

  * SOFTWARE.
  */
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 #include "core_pins.h"
 #include "HardwareSerial.h"
 

teensy3/usb_desc.c

 #include "usb_desc.h"
 #ifdef NUM_ENDPOINTS
 #include "usb_names.h"
-#include "mk20dx128.h"
+#include "kinetis.h"
 #include "avr_functions.h"
 
 // USB Descriptors are binary data which the USB host reads to

teensy3/usb_dev.c

 #include "usb_dev.h"
 #if F_CPU >= 20000000 && defined(NUM_ENDPOINTS)
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 //#include "HardwareSerial.h"
 #include "usb_mem.h"
 

teensy3/usb_mem.c

 #include "usb_dev.h"
 #if F_CPU >= 20000000 && defined(NUM_ENDPOINTS)
 
-#include "mk20dx128.h"
+#include "kinetis.h"
 //#include "HardwareSerial.h"
 #include "usb_mem.h"
 

teensy3/usb_seremu.c

 
 #if F_CPU >= 20000000
 
-//#include "mk20dx128.h"
 #include "usb_dev.h"
 #include "usb_seremu.h"
 #include "core_pins.h" // for yield()