Config.uk: Remove hard select of UKMMAP

Replace the hard `select' on UKMMAP with an `imply', so one can select
alternative mmap implemenations.

Signed-off-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@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: #16

diff --git a/Config.uk b/Config.uk
index 7b4ac80d8d174def86e7d83273271f5eacf4111f..2970f8bb465e66dcaf77728215469bb4398577f0 100644 (file)
--- a/Config.uk
+++ b/Config.uk
@@ -1,7 +1,7 @@
 menuconfig LIBCOMPILER_RT
     bool "compiler-rt - runtime support"
     select LIBPOSIX_SYSINFO
-    select LIBUKMMAP
+    imply LIBUKMMAP
     select LIBUNWIND
     default n