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

Rename `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: #2
---
 Config.uk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Config.uk b/Config.uk
index bf576fa..9be2044 100644
--- a/Config.uk
+++ b/Config.uk
@@ -1,6 +1,6 @@
 menuconfig LIBCOMPILER_RT
     bool " compiler-rt - runtime support"
-    select UKSYSINFO
+    select LIBPOSIX_SYSINFO
     default n
 
 if LIBCOMPILER_RT
-- 
2.39.5