[seL4] [sel4utils question] stack size of the second process

Hi,

So I followed hello-4 example. I can create a static array inside a second process (hello-4-app) and the second process works fine. However, when I try to increase the size of an array to 80,000 bytes, the second process wont start. I tried to increase ALLOCATOR_VIRTUAL_POOL_SIZE but it still does not work.

Any help would be appreciated.

Thanks,