drivers/xen/console: Update nolibc dependency

Xen console dependency on nolibc in `Config.uk` (`select LIBNOLIBC`)
causes conflict with the `plat/xen/Config.uk` configuration (`select
LIBNOLIBC if !HAVE_LIBC`) when a libc (such as Musl) is used.

The dependency must consider both using nolibc and using a libc (such as
Musl). Update dependency to select nolibc only when a libc is absent.

Signed-off-by: Razvan Deaconescu <razvand@unikraft.io>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Simon Kuenzer <simon@unikraft.io>
Approved-by: Simon Kuenzer <simon@unikraft.io>
GitHub-Closes: #1487

diff --git a/drivers/xen/console/Config.uk b/drivers/xen/console/Config.uk
index 1c45000fb43cd1e1785231d3a702effb3a432d0f..dd6f4a414e7ada9044641841c705d91386269522 100644 (file)
--- a/drivers/xen/console/Config.uk
+++ b/drivers/xen/console/Config.uk
@@ -1,7 +1,7 @@
 menuconfig LIBXEN_CONSOLE
        bool "Hypervisor console"
        select LIBUKCONSOLE
-       select LIBNOLIBC
+       select LIBNOLIBC if !HAVE_LIBC
        depends on PLAT_XEN
        help
                Driver for the Xen hypervisor console