Hi,
thanks, I've used addr2line and found out that it was the head of thread_func (l. 27 in examples/libedft-example/main.c). So it seems that the stack I'm using for passing arguments to the thread function is the problem. As I am creating a dynamic number of threads, it does not make sense for me to create the stack object(s) statically as you guys do it in examples/sys/utcb-ipc/main.c. So until now, I've allocated memory on the _heap_ with malloc for each thread stack (l. 61 in lib/src/edft.c). But after creating 4 stacks for 4 example threads statically similiar to the utcb-ipc example, the page fault at 0x1000200 is gone.
However, for each of the 4 threads, I'm getting a new page fault at 0:
L4Re[rm]: unhandled read page fault @0 pc=0 L4Re: unhandled exception: pc=0x0
L4Re[rm]: unhandled read page fault @0 pc=0 L4Re: unhandled exception: pc=0x0
L4Re[rm]: unhandled read page fault @0 pc=0 L4Re: unhandled exception: pc=0x0
L4Re[rm]: unhandled read page fault @0 pc=0 L4Re: unhandled exception: pc=0x0
Why is this?
Best regards, Valentin