Re: l4/sys/syscalls.h: No such file or directory
Valentin Hauner <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi, the infinite sleep did it, no page faults any more. Thanks! :) On 09/18/2014 09:29 AM, Björn Döbel wrote: > Did you see the printf() output before? No, that's the only problem I'm struggling with at the moment. There's no error message or the like, but the output does simply not appear. What might be the reason for that? A call of 'fflush(stdout);' does not do the trick either. Best regards, Valentin _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers