diff --git a/kernel/c/printf.c b/kernel/c/printf.c
index 4b5d8ee48..5683201f6 100644
--- a/kernel/c/printf.c
+++ b/kernel/c/printf.c
@@ -3,6 +3,8 @@
 #include <stddef.h>
 #include <stdarg.h>
 
+#include <printf/printf.h>
+
 void dev__serial__out(char);
 void dev__serial__panic_out(char);
 void term__print(const char *, uint64_t);