ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Replaced rtos profile with full profile

pull/13118/head
Evelyne Donnaes 2020-06-15 13:42:24 +01:00
parent 8b70dfe593
commit 4d3c6b3a64
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
targets/targets.json
View File

@ -33,7 +33,7 @@
] ]
}, },
"supported_application_profiles": [ "supported_application_profiles": [
"rtos" "full"
], ],
"config": { "config": {
"console-uart": { "console-uart": {
@ -832,7 +832,7 @@
] ]
}, },
"supported_application_profiles": [ "supported_application_profiles": [
"rtos", "bare-metal" "full", "bare-metal"
] ]
}, },
"SDT64B": { "SDT64B": {
@ -1172,7 +1172,7 @@
] ]
}, },
"supported_application_profiles": [ "supported_application_profiles": [
"rtos", "full",
"bare-metal" "bare-metal"
], ],
"macros": [ "macros": [
@ -5741,7 +5741,7 @@
} }
}, },
"supported_application_profiles": [ "supported_application_profiles": [
"rtos", "bare-metal" "full", "bare-metal"
] ]
}, },
"ARDUINO_NANO33BLE": { "ARDUINO_NANO33BLE": {