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