Example to get the System Information from Mbed OS

Revision:
16:49a99fd4085c
Parent:
15:0d8d06c4864d
Child:
18:84717aecb01a
--- a/main.cpp	Tue Nov 13 23:45:22 2018 +0000
+++ b/main.cpp	Wed Nov 14 03:00:28 2018 +0000
@@ -27,6 +27,11 @@
     */
     printf("CPU ID: 0x%x \n", stats.cpu_id);
 
+    /* Compiler IDs
+        ARM     = 1
+        GCC_ARM = 2
+        IAR     = 3
+    */
     printf("Compiler ID: %d \n", stats.compiler_id);
 
     /* Compiler versions: