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