On 06.08.20 10:01, 孙世龙 sunshilong via Xenomai wrote:
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.
The former defines a per-process userspace memory pool. The latter is an in-kernel resource settings. So they are not the same.
Jan -- Siemens AG, Corporate Technology, CT RDA IOT SES-DE Corporate Competence Center Embedded Linux
