l4/sys/syscalls.h: No such file or directory

[Valentin Hauner]

Hi,

On 09/16/2014 12:04 AM, Adam Lackorzynski wrote:
> Are there any entries?
>   

Yes, there are produced more than thousand identical entries in less
than a second:
> pf:  0026 pfa=00004f3c ip=01000200 (w-) spc=0xfcffae94 err=6

'26' is the id of the thread that is waiting for '1b'.


On 09/16/2014 12:04 AM, Adam Lackorzynski wrote:
> And generally, what are the threads doing?

They are doing a colored Hello World output. It's still the same code
that I've sent you on September 5th in the zip file. You can find the
thread function(s) in examples/libedft-example/main.c.

Today, I've tested a very minimal example reducing the thread functions
to nothing else but a simple 'printf("Hello World!");', but it's still
the same issue.

Best regards,
Valentin