[UNIKRAFT PATCH, v2, 12/15] lib/ukring: Provide KConfig menu option for microlibrary

[Alexander Jung <a.jung@xxxxxxxxxxx>]

This commit introduces Config.uk.

Signed-off-by: Alexander Jung <alexander.jung@xxxxxxxxx>
---
 lib/ukring/Config.uk | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 lib/ukring/Config.uk

diff --git a/lib/ukring/Config.uk b/lib/ukring/Config.uk
new file mode 100644
index 0000000..9d16224
--- /dev/null
+++ b/lib/ukring/Config.uk
@@ -0,0 +1,7 @@
+menuconfig LIBUKRING
+  bool "ukring: Simple ring buffer interface"
+  select LIBUKALLOC
+  select LIBUKLOCK
+  default n
+  help
+    Provide simple ring interface for handling object references.
-- 
2.20.1