lib: Add Kconfig option to signify support of VFS

Add HAVE_VFS option in Kconfig for features that depend on VFS support,
and remove redundant defaults. Update libvfscore to select HAVE_VFS.

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Approved-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Reviewed-by: Andrei Tatar <andrei@unikraft.io>
GitHub-Closes: #1627

diff --git a/lib/Config.uk b/lib/Config.uk
index 29843300f73cd861edb192951bd83a1984755f4c..794721f4da66cb79d2cef0927aa6f03f4b71fe17 100644 (file)
--- a/lib/Config.uk
+++ b/lib/Config.uk
@@ -7,31 +7,27 @@
 
 config HAVE_BOOTENTRY
        bool
-       default n
 
 config HAVE_LIBC
        bool
-       default n
 
 config HAVE_TIME
        bool
-       default n
 
 config HAVE_SCHED
        bool
-       default n
 
 config HAVE_NW_STACK
        bool
-       default n
 
 config HAVE_SYSCALL
        bool
-       default n
+
+config HAVE_VFS
+       bool
 
 config HAVE_X86PKU
        bool
-       default n
 
 ##
 # Compatibility entries for legacy libraries

diff --git a/lib/vfscore/Config.uk b/lib/vfscore/Config.uk
index b721f7e63be19ce1ed3168d94f20a6e9d6c28ca7..3f518b05180c14c592835d8a8ec90dd9c48b351d 100644 (file)
--- a/lib/vfscore/Config.uk
+++ b/lib/vfscore/Config.uk
@@ -12,6 +12,7 @@ menuconfig LIBVFSCORE
        select LIBPOSIX_POLL
        select LIBPOSIX_PIPE
        select LIBPOSIX_TTY
+       select HAVE_VFS
 
 if LIBVFSCORE
 config LIBVFSCORE_NONLARGEFILE