About workspace size

[WuHao]

Hi:
The macro "CONFIGURE_EXECUTIVE_RAM_SIZE" seems not include the work
space for *MESSAGE QUEUE BUFFER* and *Thread Ready Chain.

*In function "/_CORE_message_queue_Initialize/",the function
"/_Workspace_Allocate/" is called with specified
maximum_pending_messages and maximum_message_size.
Also in function "/_Thread_Handler_initialization/",space for
/_Thread_Ready_chain/ is allocated according to the macro /PRIORITY_MAXIMUM.
/But the configuration does not inculde these two parts.
What's your opinion?

Thanks.