scanf is not working

Adam Lackorzynski adam at
Thu Oct 10 22:49:28 CEST 2013

On Wed Oct 09, 2013 at 17:50:40 +0530, Raja Sekhar wrote:
>           I'm trying to read input using scanf function. but it's not
> woring. what is the problem and how can i make it work.

My guess would be that you're missing
REQUIRES_LIBS = libc_be_file_stdin
in your Makefile but I haven't checked myself right now.

Adam                 adam at

More information about the l4-hackers mailing list