diff --git a/mbed-cortex-porting.md b/mbed-cortex-porting.md
index cb3e95b96..5c3614b15 100644
--- a/mbed-cortex-porting.md
+++ b/mbed-cortex-porting.md
@@ -1,3 +1,10 @@
+## PS/2 converter
+Confirmed it works on NXP LPC11U35.
+http://developer.mbed.org/platforms/TG-LPC11U35-501/
+
+## Infinity support
+It runs on Freescale MK20DX128.
+
 ## compile error: cstddef
 Experienced this with arm-none-eabi-gcc (4.8.2-14ubuntu1+6) 4.8.2 on ubuntu 14.04.