Example to get the System Information from Mbed OS

Revision:
15:0d8d06c4864d
Parent:
5:ca9bf0d65cc6
Child:
16:49a99fd4085c
--- a/main.cpp	Tue Nov 06 16:45:40 2018 +0000
+++ b/main.cpp	Tue Nov 13 23:45:22 2018 +0000
@@ -15,7 +15,7 @@
     [31:24]Implementer      0x41 = ARM
     [23:20]Variant          Major revision 0x0  =  Revision 0
     [19:16]Architecture     0xC  = Baseline Architecture
-                            0xF  = Constant (Mainline Architecture?)
+                            0xF  = Constant (Mainline Architecture)
     [15:4]PartNO            0xC20 =  Cortex-M0
                             0xC60 = Cortex-M0+
                             0xC23 = Cortex-M3
@@ -23,7 +23,7 @@
                             0xC27 = Cortex-M7
                             0xD20 = Cortex-M23
                             0xD21 = Cortex-M33
-    [3:0]Revision           Minor revision: 0x1 = Patch 1.
+    [3:0]Revision           Minor revision: 0x1 = Patch 1
     */
     printf("CPU ID: 0x%x \n", stats.cpu_id);