where is the memory for CONFIGURE_INITIAL_EXTENSION_TABLE?

[shizheng]

Hi,all:

I couldn't find the memory area reserved for
CONFIGURE_INITIAL_EXTENSION_TABLE
in CONFIGURE_EXECUTIVE_RAM_SIZE.

Only the memory for user extensions is calculated in
CONFIGURE_EXECUTIVE_RAM_SIZE.

#define CONFIGURE_EXECUTIVE_RAM_SIZE \
...
CONFIGURE_MEMORY_FOR_USER_EXTENSIONS( \
CONFIGURE_MAXIMUM_USER_EXTENSIONS + CONFIGURE_NEWLIB_EXTENSION + \
CONFIGURE_STACK_CHECKER_EXTENSION ) + \
...


Did I get any wrong idea?


best wishes, shizheng