1 files changed, 35 insertions, 35 deletions
diff --git a/docs/reports/kernel.txt b/docs/reports/kernel.txt
index f304fa998..888f18253 100644
--- a/docs/reports/kernel.txt
+++ b/docs/reports/kernel.txt
@@ -1,108 +1,108 @@
 Platform : ARM Cortex-M3
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -O2 -mthumb
-Kernel Size = 5504
+Kernel Size = 5168
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -O2 -mthumb
-Kernel Size = 1232
+Kernel Size = 1280
 
 Platform : ARM Cortex-M3
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -mthumb
-Kernel Size = 5296
+Kernel Size = 4960
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -mthumb
-Kernel Size = 1248
+Kernel Size = 1216
 
 Platform : ARM Cortex-M3
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\"
-Kernel Size = 4976
+Kernel Size = 4704
 
 Platform : ARM Cortex-M3
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\"
-Kernel Size = 1200
+Kernel Size = 1184
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -O2
-Kernel Size = 7936
+Kernel Size = 7760
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -O2
 Kernel Size = 1856
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os
-Kernel Size = 7568
+Kernel Size = 7536
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os
-Kernel Size = 1824
+Kernel Size = 1808
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\"
 Kernel Size = 7104
 
 Platform : ARM7TDMI (ARM mode)
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\"
-Kernel Size = 1776
+Kernel Size = 1744
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -O2 -mthumb -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 5200
+Kernel Size = 5008
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -O2 -mthumb -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 1312
+Kernel Size = 1296
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -mthumb -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 5056
+Kernel Size = 4816
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -mthumb -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 1280
+Kernel Size = 1264
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Full kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\" -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
-Kernel Size = 4736
+Kernel Size = 4560
 
 Platform : ARM7TDMI (THUMB mode)
 OS Setup : Minimal kernel
-Compiler : arm-elf-gcc (GCC) 4.3.3
+Compiler : arm-elf-gcc (GCC) 4.4.1
 Options  : -Os -mthumb -ffixed-r7 -DCH_CURRP_REGISTER_CACHE=\"r7\" -DTHUMB -DTHUMB_PRESENT -DTHUMB_NO_INTERWORKING
 Kernel Size = 1216
 
@@ -110,7 +110,7 @@ Platform : MSP430
 OS Setup : Full kernel
 Compiler : msp430-gcc (GCC) 3.2.3
 Options  : -O2
-Kernel Size = 5500
+Kernel Size = 5324
 
 Platform : MSP430
 OS Setup : Minimal kernel
@@ -122,7 +122,7 @@ Platform : MSP430
 OS Setup : Full kernel
 Compiler : msp430-gcc (GCC) 3.2.3
 Options  : -Os
-Kernel Size = 5484
+Kernel Size = 5308
 
 Platform : MSP430
 OS Setup : Minimal kernel