Index: kernel/generic/src/printf/printf.c
===================================================================
--- kernel/generic/src/printf/printf.c	(revision eec616bc34e4233a5e002814ad0f802ef63af58d)
+++ kernel/generic/src/printf/printf.c	(revision c621f4aa64c16cb4d9c2b20dbf5be59c66c25ed3)
@@ -34,4 +34,5 @@
 
 #include <print.h>
+#include <stdarg.h>
 
 int printf(const char *fmt, ...)