lib/ukvmem: Add dependency on `CONFIG_PAGING`

Since you cannot use `ukvmem` without the paging API's, it makes
sense to add a dependency on the `CONFIG_PAGING` configuration entry.

Signed-off-by: Sergiu Moga <sergiu.moga@protonmail.com>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #908

diff --git a/lib/ukvmem/Config.uk b/lib/ukvmem/Config.uk
index c577013b4de6652d0602adc119ee7a855e854782..865ad5f700bf18c5900a5ac18fdad526c79d3f4d 100644 (file)
--- a/lib/ukvmem/Config.uk
+++ b/lib/ukvmem/Config.uk
@@ -4,6 +4,7 @@ menuconfig LIBUKVMEM
        select LIBUKDEBUG
        select LIBUKALLOC
        select LIBISRLIB
+       select PAGING
        help
                This library implements virtual address management by
                providing methods for working with virtual address space