diff --git a/getting-started/mbed_profile.json b/getting-started/mbed_profile.json new file mode 100644 index 0000000..3d382b0 --- /dev/null +++ b/getting-started/mbed_profile.json @@ -0,0 +1,15 @@ +{ + "GCC_ARM": {}, + "ARMC6": { + "common": ["-O1"] + }, + "ARM": { + "common": ["-O1"] + }, + "uARM": { + "common": ["-O1"] + }, + "IAR": { + "common": ["-Ol"] + } +}