-
Alessandro Rubini authored
We have not been using mprintf for ages now, and it's better for the code to explicitly call pp_printf, so people is aware of it. We might "#define printf pp_printf", but currently we'd better not. Maybe when we turn this into a real operating system, next millennium... Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
9d85b55f
Name |
Last commit
|
Last update |
---|---|---|
arch/lm32 | ||
boards/arria | ||
configs | ||
dev | ||
doc | ||
include | ||
ipc | ||
lib | ||
monitor | ||
pp_printf | ||
ppsi @ a28d309b | ||
scripts | ||
sdb-lib | ||
shell | ||
softpll | ||
tools | ||
.gitignore | ||
.gitmodules | ||
COPYING | ||
Kconfig | ||
MAKEALL | ||
Makefile | ||
Makefile.kconfig | ||
bigobj.lds | ||
check-error.c | ||
revision.c | ||
system_checks.c | ||
wrc_main.c | ||
wrc_ptp.h | ||
wrs_main.c |