Question on MBED_BOOT_STACK_SIZE

[jeromecoutant]

Description

Question started with #10313 (comment)

Seen in https://os.mbed.com/docs/mbed-os/latest/porting/porting-bootstrap.html

#if !defined(MBED_BOOT_STACK_SIZE)
/* This value is normally defined by the tools to 0x1000 for bare metal and 0x400 for RTOS */
  #define MBED_BOOT_STACK_SIZE  0x400
#endif

Even if RTOS is enabled, MBED_BOOT_STACK_SIZE will not be updated.
MBED_CONF_TARGET_BOOT_STACK_SIZE is created

See in mbed_config.h:
#define MBED_CONF_TARGET_BOOT_STACK_SIZE 0x400 // set by library:rtos[*]

@0xc0170
@SenRamakri

Issue request type

[x] Question
[ ] Enhancement
[ ] Bug

[jeromecoutant]

@mprse

[ciarmcom]

Internal Jira reference: https://jira.arm.com/browse/MBOCUSTRIA-1117

[jeromecoutant]

Please reopen this issue :-(

[0Grit]

@0xc0170

[jeromecoutant]

@linlingao

[linlingao]

Isn't this a bug?