Skip to content

Commit 7f952dc

Browse files
committed
Merge pull request #1884 from 0xc0170/fix_rtos_config
RTOS - add mbed_lib.json file
2 parents 2197b87 + f3f4430 commit 7f952dc

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

rtos/mbed_lib.json

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
{
2+
"name": "rtos",
3+
"config": {
4+
"present": 1
5+
}
6+
}

0 commit comments

Comments
 (0)