[UNIKRAFT/TLSF PATCH] Provide LIBTLSF_INCLUDED (invisible, always "y")

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Introduces 'LIBTLSF_INCLUDED' that can be used to determine if the library was
included to the build. It is expected that this option is an intermediate
solution until we are able to dynamically register configuration options to
other libraries like 'ukboot'.

Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
---
 Config.uk | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Config.uk b/Config.uk
index d74c0a5..71bff7b 100644
--- a/Config.uk
+++ b/Config.uk
@@ -1,3 +1,9 @@
+# Invisible option that is used to detect
+# if LIBTLSF is availbale for configuration
+config LIBTLSF_INCLUDED
+          bool
+          default y
+
 menuconfig LIBTLSF
           bool "tlsf - dynamic memory allocator for embedded systems"
           default y
-- 
2.20.1