mirror of https://github.com/ARMmbed/mbed-os.git
22 lines
590 B
JSON
22 lines
590 B
JSON
{
|
|
"name": "minimal-printf",
|
|
"config": {
|
|
"enable-floating-point": {
|
|
"help": "Enable floating point printing",
|
|
"value": false
|
|
},
|
|
"set-floating-point-max-decimals": {
|
|
"help": "Maximum number of decimals to be printed",
|
|
"value": 6
|
|
},
|
|
"enable-64-bit": {
|
|
"help": "Enable printing 64 bit integers",
|
|
"value": true
|
|
},
|
|
"console-output": {
|
|
"help": "Console output. Options: UART, SWO",
|
|
"value": "UART"
|
|
}
|
|
}
|
|
}
|