Config.uk: Allow deselection of ukmmap

With posix-mmap we have an alternative implementation of the memory
management functions such as mmap, mprotect, etc. To be able to select
posix-mmap, we must deselect ukmmap. Thus, this commit removes the
hard dependency.

Signed-off-by: Marc Rittinghaus <marc.rittinghaus@unikraft.io>
Reviewed-by: Eduard Vintilă <eduard.vintila47@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #52

diff --git a/Config.uk b/Config.uk
index dfb558440e9736393f0dfaa84179bde9c7180295..15c42bd0e8ca9c846d4f04a35f3d5e9d72a0802c 100644 (file)
--- a/Config.uk
+++ b/Config.uk
@@ -4,7 +4,7 @@ menuconfig LIBMUSL
   default n
   select HAVE_LIBC
   select LIBKUALLOC
-  select LIBUKMMAP
+  imply  LIBUKMMAP
   select LIBSYSCALL_SHIM
   select LIBVFSCORE
   select LIBPOSIX_PROCESS