From f3e613e8f6da2403ed731f2d8d11dfa6f6712d35 Mon Sep 17 00:00:00 2001
From: Darius-Andrei Jipa <jipad16@yahoo.com>
Date: Sat, 22 Jul 2023 13:40:37 +0300
Subject: [PATCH] Config.uk: Change newlib dependency to musl
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Darius-Andrei Jipa <jipad16@yahoo.com>
Reviewed-by: Eduard Vintilă <eduard.vintila47@gmail.com>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #7
---
 Config.uk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Config.uk b/Config.uk
index 07733c3..691f48a 100644
--- a/Config.uk
+++ b/Config.uk
@@ -1,7 +1,7 @@
 menuconfig LIBLUA
 	bool "The Lua programming language"
 	default n
-        select LIBNEWLIBC
+        select LIBMUSL
         select LIBUKTIME
         select UKUNISTD
         select LIBUKSIGNAL
-- 
2.39.5