diff --git a/mbed-cortex-porting.md b/mbed-cortex-porting.md
index 5c3614b156..eac477dc10 100644
--- a/mbed-cortex-porting.md
+++ b/mbed-cortex-porting.md
@@ -1,10 +1,13 @@
-## PS/2 converter
+## supported projects
+### PS/2 converter
 Confirmed it works on NXP LPC11U35.
 http://developer.mbed.org/platforms/TG-LPC11U35-501/
 
-## Infinity support
+### Infinity keyboard
 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.