mbed-os/targets/TARGET_Samsung/TARGET_SIDK_S5JS100
Jaeden Amero 612b148fd4 stack: armc: Workaround config passing bug
Workaround a bug where the boot stack size configuration option is not
passed on to armlink, the Arm Compiler's linker. Prefer
MBED_CONF_TARGET_BOOT_STACK_SIZE if present, as this is what the
configuration system should provide. Fall back to MBED_BOOT_STACK_SIZE
if MBED_CONF_TARGET_BOOT_STACK_SIZE is not defined, as in the case of
buggy tools. If both MBED_CONF_TARGET_BOOT_STACK_SIZE and
MBED_BOOT_STACK_SIZE are not defined, then we fall back to a hard-coded
value provided by the linkerscript. See
https://github.com/ARMmbed/mbed-os/issues/13474 for more information.
2020-09-10 10:08:38 +01:00
..
device stack: armc: Workaround config passing bug 2020-09-10 10:08:38 +01:00
modem Adding in SPDX Apache 2.0 for the Apache 2 declared Samsung license headers. 2020-01-22 14:40:51 +09:00
security_subsystem move security_subsystem to TARGET_SIDK_S5JS100 2020-08-11 16:26:48 +09:00
PeripheralNames.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
PinNames.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
PortNames.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
dcxo_update.cpp Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
device.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
gpio.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
gpio_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
gpio_irq_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
gpio_object.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
i2c_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
i2c_def.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
mbed_main_init.cpp Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
mbed_rtx.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
mbed_sdk_init.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
objects.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
pinmap.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
rtc_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_dcxo.cpp Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_dcxo.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_error.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pinconfig.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pmip.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pmip.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pmusfr.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pwr.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_pwr.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_rtos.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_watchdog.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
s5js100_watchdog.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
serial_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
serial_dummy_api.c Adding in SPDX Apache 2.0 for the Apache 2 declared Samsung license headers. 2020-01-22 14:40:51 +09:00
serial_pl011_api.c Adding in SPDX Apache 2.0 for the Apache 2 declared Samsung license headers. 2020-01-22 14:40:51 +09:00
serial_usi_api.c Adding in SPDX Apache 2.0 for the Apache 2 declared Samsung license headers. 2020-01-22 14:40:51 +09:00
sleep.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
spi_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
spi_def.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
us_ticker.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
us_ticker.h Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00
watchdog_api.c Changed 2018 or 2019 copyright to 2020 via sed auto change. 2020-01-22 14:40:51 +09:00