Hi,
As the subject, are they the same thing:
* main memory pool, whose size can be set explicitly using --mem-pool-size,
1Mb by default
* private heap, whose size can be set explicitly using
CONFIG_XENO_OPT_PRIVATE_HEAPSZ.

Thank you for your attention to this matter.
Sunshilong

Reply via email to