我可以在模拟开始时通过标志--cfg=contexts/stack-size=10定义msg_process_t的堆栈大小。
但是，是否有可能为不同的进程定义不同的堆栈大小，因为我的进程最多使用较小的堆栈大小，但主进程需要更多的千字节?
此功能目前未实现。这个bug要求:https://gforge.inria.fr/tracker/index.php?func=detail&援助= 18137,group_id = 12, atid = 165