diff --git a/kernel/src/vx_start.S b/kernel/src/vx_start.S
index 799967432..290b68058 100644
--- a/kernel/src/vx_start.S
+++ b/kernel/src/vx_start.S
@@ -13,6 +13,7 @@
 
 #include <VX_config.h>
 #include <VX_types.h>
+#include <newlib.h>
 #include "common.h"
 
 .section .init, "ax"