drivers/vga: Depend on `libukconsole`

Makes the VGA console driver dependent on `libukconsole` instead of
selecting it. This fits our current driver model: only include drivers
when there is an application need.

Signed-off-by: Simon Kuenzer <simon@unikraft.io>
Reviewed-by: Oleksii Moisieiev <oleksii_moisieiev@epam.com>
Reviewed-by: Oleksii Moisieiev <oleksii_moisieiev@epam.com>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Approved-by: Michalis Pappas <michalis@unikraft.io>
GitHub-Closes: #1501

diff --git a/drivers/ukconsole/vga/Config.uk b/drivers/ukconsole/vga/Config.uk
index 279c240028f343c378ba11fed6449ab3040db7aa..41906d2f7a081add4a47fcea1141192f48994fc8 100644 (file)
--- a/drivers/ukconsole/vga/Config.uk
+++ b/drivers/ukconsole/vga/Config.uk
@@ -1,5 +1,5 @@
 config LIBUKCONSOLE_VGA
        bool "VGA console driver"
        depends on ARCH_X86_64
-       select LIBUKCONSOLE
+       depends on LIBUKCONSOLE
        select LIBNOLIBC if !HAVE_LIBC