Index: kernel/generic/src/printf/printf.c
===================================================================
--- kernel/generic/src/printf/printf.c	(revision 7f043c0d4fa344ed23d99c9baa9f11cdac734176)
+++ kernel/generic/src/printf/printf.c	(revision 84947a4204153f28ccee81dcdc393446c79f3b9d)
@@ -34,4 +34,5 @@
 
 #include <print.h>
+int printf(const char *fmt, ...);
 
 int printf(const char *fmt, ...)