Hi Kofi,
Thanks for your input. It actually solved my problem by just changing the
config.
But, I ran into another problem with freeing an array, allocated using
malloc.
Here's my simple code:
// In root thread/process
char *buf = malloc(409600);
// do sth with buf
free(buf); // here I got an error saying "libsel4muslcsys: Error attempting
syscall 91"
printf("done\n") // this one was printed out too
Does this have anything to do with config as well? I tried to increase
malloc limit (which I dont think it's related much to free) but I still get
an error. Also, no error was output if when I tried 4096 bytes as a size of
buf.
Thanks,
Oak
On Mon, Jul 18, 2016 at 6:33 PM, Norrathep Rattanavipanon
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,
-- Norrathep (Oak) Rattanavipanon M.S. in Computer Science University of California - Irvine
-- Norrathep (Oak) Rattanavipanon M.S. in Computer Science University of California - Irvine