diff --git a/readme.txt b/readme.txt
index 6236a800a..35c256282 100644
--- a/readme.txt
+++ b/readme.txt
@@ -143,6 +143,7 @@
   (backported to 2.4.3).
 - FIX: Fixed STM8L, cosmic compiler: c_lreg not saved (bug 3566342)(backported
   to 2.2.10 and 2.4.3).
+- NEW: Initial support for STM32F30x.
 - NEW: AT91SAM7A3 I2C support.
 - NEW: AT91SAM7A3 basic support.
 - NEW: Unified the STM32F4xx and STM32F2xx platform code. The STM32F2xx now is
diff --git a/todo.txt b/todo.txt
index 73c44884e..490fff8e4 100644
--- a/todo.txt
+++ b/todo.txt
@@ -6,6 +6,12 @@ X = In progress, some work done.
 N = Decided against.
 
 Version 2.5.1
+X Support for STM32F3xx devices.
+X Support for ATSAM4L devices.
+X Support for SPC56xBC devices.
+X Support for SPC56xP devices.
+X Support for SPC56xM devices.
+- Support for SPC56xA devices.
 
 Within 2.5.x:
 - SAM4L support.
@@ -15,7 +21,6 @@ X Revision of the RTCv2 driver implementation.
 X File System infrastructure.
   - FatFs wrapper.
 X Streaming DAC/I2S driver model and STM32 implementation.
-- Support for STM32F3xx devices.
 - Specific I2C driver for STM32F0 and newer devices.
 - STM32 CAN2 support.
 - Unified LPC1xxx HAL.