diff --git a/src/kernel/version.c b/src/kernel/version.c
index ffc8177b1..6de6ddb40 100644
--- a/src/kernel/version.c
+++ b/src/kernel/version.c
@@ -1,3 +1,4 @@
+#include <platform.h>
 #include "version.h"
 
 #include <stdio.h>