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
