Intercept vfprintf() instead of printf() (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 24 Mar 2016 16:46:59 +0000 (12:46 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 31 Mar 2016 20:53:42 +0000 (16:53 -0400)
commite9c625a08604ecee518b66b59422bbb8c50b2131
treef264a71e13c2e5bc6b6f80ef488f361193b15b07
parentc3105dfc3a124a29c10447b268f2d780d670aa72
Intercept vfprintf() instead of printf() (XCC)

This will protect vcore context from much more of the family of the printf
functions.  We still need akaros_printf(), due to the 'multiple libcs'
problem.

Rebuild glibc.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
tools/compilers/gcc-glibc/glibc-2.19-akaros/sysdeps/akaros/printf.c [deleted file]
tools/compilers/gcc-glibc/glibc-2.19-akaros/sysdeps/akaros/vfprintf.c [new file with mode: 0644]
user/parlib/debug.c
user/parlib/include/parlib/stdio.h