From 4b46263952569ab766934b8793578cca94b1801f Mon Sep 17 00:00:00 2001
From: tmk <wakojun+tmk@gmail.com>
Date: Mon, 29 Dec 2014 20:30:31 -0800
Subject: [PATCH] Updated mbed cortex porting (markdown)

---
 mbed-cortex-porting.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/mbed-cortex-porting.md b/mbed-cortex-porting.md
index 7e7cb3e28a..a2a106c6de 100644
--- a/mbed-cortex-porting.md
+++ b/mbed-cortex-porting.md
@@ -1,5 +1,9 @@
 ## compile error: cstddef
-with arm-none-eabi-gcc (4.8.2-14ubuntu1+6) 4.8.2
+Experienced this with arm-none-eabi-gcc (4.8.2-14ubuntu1+6) 4.8.2 on ubuntu 14.04.
+
+And resolved with 4.9.3 installed from:
+https://launchpad.net/gcc-arm-embedded
+https://launchpad.net/~terry.guo/+archive/ubuntu/gcc-arm-embedded
 
 ```
 $ make -f Makefile.mbed