mbed library sources

Fork of mbed-src by mbed official

Revision:
593:78ee8643776a
Parent:
525:c320967f86b9
--- a/targets/cmsis/TARGET_Silicon_Labs/TARGET_EFM32/TARGET_EFM32HG_STK3400/TOOLCHAIN_GCC_ARM/efm32hg.ld	Fri Jul 17 09:15:10 2015 +0100
+++ b/targets/cmsis/TARGET_Silicon_Labs/TARGET_EFM32/TARGET_EFM32HG_STK3400/TOOLCHAIN_GCC_ARM/efm32hg.ld	Mon Jul 20 09:00:09 2015 +0100
@@ -16,8 +16,8 @@
 
 /* MBED: mbed needs to be able to dynamically set the interrupt vector table.
  * We make room for the table at the very beginning of RAM, i.e. at
- * 0x20000000. We need (16+20) * sizeof(uint32_t) = 144 bytes for EFM32HG */
-__vector_size = 0x90;
+ * 0x20000000. We need (16+21) * sizeof(uint32_t) = 144 bytes for EFM32HG */
+__vector_size = 0x94;
 
 /* Linker script to place sections and symbol values. Should be used together
  * with other linker script that defines memory regions FLASH and RAM.