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 <[email protected]>
wrote:
> 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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
