From df7b80d4a45d01bf39fdeca874399ec47c059382 Mon Sep 17 00:00:00 2001
From: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Date: Sat, 1 May 2021 12:01:59 +0300
Subject: [PATCH] Config: Rename POSIX sysinfo dependency

Reanem `UKSYSINFO` to `LIBPOSIX_SYSINFO`.

Signed-off-by: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Reviewed-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@upb.ro>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Pull-Request: #1
---
 Config.uk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Config.uk b/Config.uk
index 5aaca7c..8e5ad69 100644
--- a/Config.uk
+++ b/Config.uk
@@ -5,7 +5,7 @@ menuconfig LIBGCC
 	select LIBUKALLOC
 	select LIBNEWLIBC
 	select LIBUKMMAP
-	select UKSYSINFO
+	select LIBPOSIX_SYSINFO
 
 if LIBGCC
 
-- 
2.39.5