Fix dependency to `lib/uksched`

We currently require `lib/uksched` to be enabled as part of the build.
The dependency was not correctly stated with `Config.uk`.

Signed-off-by: Simon Kuenzer <simon@unikraft.io>
Reviewed-by: Delia Pavel <delia_maria.pavel@stud.acs.upb.ro>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #43

diff --git a/Config.uk b/Config.uk
index f7b36a393c61e81847fc09e068b600caf0d418d8..6dd37c5a11a13d7094997fb13037aa4ce24a1fe1 100644 (file)
--- a/Config.uk
+++ b/Config.uk
@@ -12,6 +12,7 @@ menuconfig LIBMUSL
   select LIBPOSIX_PROCESS_INIT_PIDS
   select LIBPOSIX_PROCESS_CLONE
   select LIBPOSIX_FUTEX
+  select LIBUKSCHED
   select LIBUKSCHED_TCB_INIT
   select LIBPOSIX_ENVIRON