diff --git a/build/build.xml b/build/build.xml
index 1d8e4cff6..dffb710b3 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -258,9 +258,9 @@
     </antcall>
 
     <antcall target="unzip-arm-toolchain">
-      <param name="dist_file" value="gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz" />
-      <param name="dist_url" value="http://arduino.googlecode.com/files/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz" />
-      <param name="dist_check_file" value="gcc-arm-none-eabi-4.7.4-2013q2" />
+      <param name="dist_file" value="gcc-arm-none-eabi-4.8.3-2013q4-mac.tar.gz" />
+      <param name="dist_url" value="http://downloads.arduino.cc/gcc-arm-none-eabi-4.8.3-2013q4-mac.tar.gz" />
+      <param name="dist_check_file" value="gcc-arm-none-eabi-4.8.3-2013q4" />
     </antcall>
 
     <delete includeEmptyDirs="true" quiet="true">
@@ -490,9 +490,9 @@
   <target name="linux32-build" depends="linux-build" description="Build linux (32-bit) version">
     <!-- Unzip ARM tools -->
     <antcall target="unzip-arm-toolchain">
-      <param name="dist_file" value="gcc-arm-none-eabi-4.7.4-2013q2-linux32.tar.gz" />
-      <param name="dist_url" value="http://arduino.googlecode.com/files/gcc-arm-none-eabi-4.7.4-2013q2-linux32.tar.gz" />
-      <param name="dist_check_file" value="gcc-arm-none-eabi-4.7.4-2013q2" />
+      <param name="dist_file" value="gcc-arm-none-eabi-4.8.3-2013q4-linux32.tar.gz" />
+      <param name="dist_url" value="http://downloads.arduino.cc/gcc-arm-none-eabi-4.8.3-2013q4-linux32.tar.gz" />
+      <param name="dist_check_file" value="gcc-arm-none-eabi-4.8.3-2013q4" />
     </antcall>
 
     <!-- Unzip AVR tools -->
@@ -504,9 +504,9 @@
   <target name="linux64-build" depends="linux-build" description="Build linux (64-bit) version">
     <!-- Unzip ARM tools -->
     <antcall target="unzip-tool">
-      <param name="dist_file" value="gcc-arm-none-eabi-4.7.4-2013q2-linux64.tar.gz" />
-      <param name="dist_url" value="http://arduino.googlecode.com/files/gcc-arm-none-eabi-4.7.4-2013q2-linux64.tar.gz" />
-      <param name="dist_check_file" value="gcc-arm-none-eabi-4.7.4-2013q2" />
+      <param name="dist_file" value="gcc-arm-none-eabi-4.8.3-2013q4-linux64.tar.gz" />
+      <param name="dist_url" value="http://downloads.arduino.cc/gcc-arm-none-eabi-4.8.3-2013q4-linux64.tar.gz" />
+      <param name="dist_check_file" value="gcc-arm-none-eabi-4.8.3-2013q4" />
     </antcall>
 
     <!-- Unzip AVR tools -->
@@ -783,9 +783,9 @@
 
     <!-- Unzip ARM toolchain -->
     <antcall target="unzip-arm-toolchain">
-      <param name="dist_file" value="gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz" />
-      <param name="dist_url" value="http://arduino.googlecode.com/files/gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz" />
-      <param name="dist_check_file" value="gcc-arm-none-eabi-4.7.4-2013q2" />
+      <param name="dist_file" value="gcc-arm-none-eabi-4.8.3-2013q4-windows.tar.gz" />
+      <param name="dist_url" value="http://downloads.arduino.cc/gcc-arm-none-eabi-4.8.3-2013q4-windows.tar.gz" />
+      <param name="dist_check_file" value="gcc-arm-none-eabi-4.8.3-2013q4" />
     </antcall>
 
     <delete includeEmptyDirs="true" quiet="true">
diff --git a/build/linux/dist/gcc-arm-none-eabi-4.7.4-2013q2-linux32.tar.gz.sha b/build/linux/dist/gcc-arm-none-eabi-4.7.4-2013q2-linux32.tar.gz.sha
deleted file mode 100644
index 0d4dce966..000000000
--- a/build/linux/dist/gcc-arm-none-eabi-4.7.4-2013q2-linux32.tar.gz.sha
+++ /dev/null
@@ -1 +0,0 @@
-b35a6b9b1066977509ad5dcf51936b7a6bb18c18
diff --git a/build/linux/dist/gcc-arm-none-eabi-4.7.4-2013q2-linux64.tar.gz.sha b/build/linux/dist/gcc-arm-none-eabi-4.7.4-2013q2-linux64.tar.gz.sha
deleted file mode 100644
index d88a6ac83..000000000
--- a/build/linux/dist/gcc-arm-none-eabi-4.7.4-2013q2-linux64.tar.gz.sha
+++ /dev/null
@@ -1 +0,0 @@
-14afebbb1a26b799237080ec32b300a409ff99cb
diff --git a/build/linux/dist/gcc-arm-none-eabi-4.8.3-2013q4-linux32.tar.gz.sha b/build/linux/dist/gcc-arm-none-eabi-4.8.3-2013q4-linux32.tar.gz.sha
new file mode 100644
index 000000000..a9e7a1d6b
--- /dev/null
+++ b/build/linux/dist/gcc-arm-none-eabi-4.8.3-2013q4-linux32.tar.gz.sha
@@ -0,0 +1 @@
+3d3cbb6ab5b48e822c6c270e8c8fdaa23b6690f8
diff --git a/build/linux/dist/gcc-arm-none-eabi-4.8.3-2013q4-linux64.tar.gz.sha b/build/linux/dist/gcc-arm-none-eabi-4.8.3-2013q4-linux64.tar.gz.sha
new file mode 100644
index 000000000..9cb8d7e89
--- /dev/null
+++ b/build/linux/dist/gcc-arm-none-eabi-4.8.3-2013q4-linux64.tar.gz.sha
@@ -0,0 +1 @@
+a77fe161944ea06b86ead50692a594aba161bd7f
diff --git a/build/macosx/dist/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz.sha b/build/macosx/dist/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz.sha
deleted file mode 100644
index a265218f9..000000000
--- a/build/macosx/dist/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz.sha
+++ /dev/null
@@ -1 +0,0 @@
-a1326c6258f91d9b318570bc619ca8a3b799d8bc
diff --git a/build/macosx/dist/gcc-arm-none-eabi-4.8.3-2013q4-mac.tar.gz.sha b/build/macosx/dist/gcc-arm-none-eabi-4.8.3-2013q4-mac.tar.gz.sha
new file mode 100644
index 000000000..6f99de9e6
--- /dev/null
+++ b/build/macosx/dist/gcc-arm-none-eabi-4.8.3-2013q4-mac.tar.gz.sha
@@ -0,0 +1 @@
+38dd8968003bf4e69e9ec55d0a92e5993ef3d66b
diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index 8afeb6e96..769454095 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -2,7 +2,7 @@ ARDUINO 1.5.7 BETA
 
 [core]
 * Upgraded AVR toolchain: gcc 4.8.1, avr-libc 1.8.0
-* Upgraded ARM toolchain: gcc 4.7.4
+* Upgraded ARM toolchain: gcc 4.8.3
 * Upgraded avrdude to version 6.0.1
 * ARM gcc doesn't require ia32-libs anymore on 64 bits linux systems
 * avr: Improved USB-CDC write speed (Justin Rajewski)
diff --git a/build/windows/dist/gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz.sha b/build/windows/dist/gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz.sha
deleted file mode 100644
index 0c66d28a8..000000000
--- a/build/windows/dist/gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz.sha
+++ /dev/null
@@ -1 +0,0 @@
-c41fa509205b9ced43fc221b6a0cae4223a0842d
diff --git a/build/windows/dist/gcc-arm-none-eabi-4.8.3-2013q4-windows.tar.gz.sha b/build/windows/dist/gcc-arm-none-eabi-4.8.3-2013q4-windows.tar.gz.sha
new file mode 100644
index 000000000..fbc42d8f5
--- /dev/null
+++ b/build/windows/dist/gcc-arm-none-eabi-4.8.3-2013q4-windows.tar.gz.sha
@@ -0,0 +1 @@
+d9ef21ecb5c303690b135efcb80548a11cba449b
diff --git a/hardware/arduino/sam/platform.txt b/hardware/arduino/sam/platform.txt
index aa33c8115..817bbb27b 100644
--- a/hardware/arduino/sam/platform.txt
+++ b/hardware/arduino/sam/platform.txt
@@ -10,7 +10,7 @@ version=1.5.6
 # SAM3 compile variables
 # ----------------------
 
-compiler.path={runtime.ide.path}/hardware/tools/gcc-arm-none-eabi-4.7.4-2013q2/bin/
+compiler.path={runtime.ide.path}/hardware/tools/gcc-arm-none-eabi-4.8.3-2013q4/bin/
 compiler.c.cmd=arm-none-eabi-gcc
 compiler.c.flags=-c -g -Os -w -ffunction-sections -fdata-sections -nostdlib --param max-inline-insns-single=500 -Dprintf=iprintf
 compiler.c.elf.cmd=arm-none-eabi-g++