{
  "macros": ["MBED_CONF_MBED_TRACE_FEA_IPV6=0"],
  "config": {
    "main-stack-size": {
      "value": 6144
    }
  },
  "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
    },
    "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.app_offset": "0x20000"
    }
  }
}