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

Merge pull request #13118 from evedon/ed-full-profile 

Replaced rtos profile with full profile
pull/13158/head
Martin Kojtal 2020-06-18 22:19:59 +02:00 committed by GitHub
parent 3e42991289 4d3c6b3a64
commit 920133e8ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -29,7 +29,7 @@
]
},
"supported_application_profiles": [
"rtos"
"full"
],
"config": {
"console-uart": {
@ -777,7 +777,7 @@
]
},
"supported_application_profiles": [
"rtos", "bare-metal"
"full", "bare-metal"
]
},
"SDT64B": {
@ -1115,7 +1115,7 @@
]
},
"supported_application_profiles": [
"rtos",
"full",
"bare-metal"
],
"macros": [
@ -5719,7 +5719,7 @@
}
},
"supported_application_profiles": [
"rtos", "bare-metal"
"full", "bare-metal"
]
},
"ARDUINO_NANO33BLE": {