Config.uk: Add LIBUKMMAP dependency

`mprotect()` is required and it is part of the `ukmmap` internal
Unikraft library. Add required dependency to `Config.uk`.

Signed-off-by: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Reviewed-by: Maria Sfiraiala <maria.sfiraiala@gmail.com>
Approved-by: Marc Rittinghaus <marc.rittinghaus@kit.edu>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #5

diff --git a/Config.uk b/Config.uk
index f8b28df99d16f1885f2a80d4a7a4e494f5021ae5..fee9c6eef681ffa1b4a8bc47778d46b518a11e13 100644 (file)
--- a/Config.uk
+++ b/Config.uk
@@ -1,6 +1,7 @@
 menuconfig LIBCOMPILER_RT
     bool "compiler-rt - runtime support"
     select LIBPOSIX_SYSINFO
+    select LIBUKMMAP
     default n
 
 if LIBCOMPILER_RT