{ "macros": [ "MBED_CONF_MBED_TRACE_FEA_IPV6=0", "MBED_BOOTLOADER_FLASH_BANK_SIZE=MBED_ROM_SIZE/2", "USE_USB_SERIAL_UC=1" ], "config": { "main-stack-size": { "value": 4096 } }, "target_overrides": { "*": { "mbed-trace.enable": false, "platform.stdio-convert-newlines": true, "platform.stdio-baud-rate": 115200, "platform.default-serial-baud-rate": 115200, "platform.stdio-buffered-serial": true, "platform.all-stats-enabled": true, "target.printf_lib":"minimal-printf", "platform.minimal-printf-enable-floating-point": true, "platform.minimal-printf-set-floating-point-max-decimals": 2, "update-client.storage-address": "(MBED_BOOTLOADER_FLASH_BANK_SIZE)", "update-client.storage-size": "(MBED_BOOTLOADER_FLASH_BANK_SIZE)", "update-client.storage-locations": 2 }, "DISCO_H747I": { "mbed-trace.enable": true, "mbed-trace.max-level": "TRACE_LEVEL_DEBUG", "target.bootloader_img":"./mbed-os-bootloader/BUILD/DISCO_H747I/GCC_ARM/mbed-os-bootloader.bin", "target.header_offset": "0x20000" } } }