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

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