The official mbed C/C SDK provides the software platform and libraries to build your applications.

Fork of mbed by mbed official

Revision:
98:8ab26030e058
Parent:
93:e188a91d3eaa
--- a/TARGET_TEENSY3_1/TOOLCHAIN_GCC_ARM/MK20DX256.ld	Tue Apr 14 10:58:58 2015 +0200
+++ b/TARGET_TEENSY3_1/TOOLCHAIN_GCC_ARM/MK20DX256.ld	Wed Apr 29 10:16:23 2015 +0100
@@ -42,10 +42,11 @@
 {
     .isr_vector :
     {
-        __vector_table = .;
-        KEEP(*(.vector_table))
+        . = 0;
+        __isr_vector = .;
+        KEEP(*(.isr_vector))
         *(.text.Reset_Handler)
-        *(.text.System_Init)
+        *(.text.SystemInit)
          . = ALIGN(4);
     } > VECTORS