diff --git a/platform/source/mbed_sdk_boot.c b/platform/source/mbed_sdk_boot.c index eec7f8063d..ec86aea744 100644 --- a/platform/source/mbed_sdk_boot.c +++ b/platform/source/mbed_sdk_boot.c @@ -87,7 +87,7 @@ void _platform_post_stackheap_init(void) us_ticker_init(); #endif } -//Define an empty os_cb_sections to remove a RTX warning when building with no RTOS due +//Define an empty os_cb_sections to remove a RTX warning when building with no RTOS due //to the --keep=os_cb_sections linker option const uint32_t os_cb_sections[] __attribute__((section(".rodata"))) = {};