From 7cdfac8ea1a37306db29b6511d42cced4401f52d Mon Sep 17 00:00:00 2001
From: Blaise Tine <tinebp@yahoo.com>
Date: Tue, 6 Aug 2024 17:20:01 -0700
Subject: [PATCH] fixed kernel lib dependency

---
 kernel/src/vx_start.S | 1 +
 1 file changed, 1 insertion(+)

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"