[Minios-devel] [UNIKRAFT PATCH V4 3/6] external plat: Add solo5 platform Config.uk file

[Haibo Xu <haibo.xu@xxxxxxx>]

Signed-off-by: Haibo Xu <haibo.xu@xxxxxxx>
Reviewed-by: Felipe Huici <felipe.huici@xxxxxxxxx>
---
 Config.uk | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Config.uk

diff --git a/Config.uk b/Config.uk
new file mode 100644
index 0000000..99df78f
--- /dev/null
+++ b/Config.uk
@@ -0,0 +1,17 @@
+menuconfig PLAT_SOLO5
+       bool "Solo5 application"
+       default n
+       depends on (ARCH_X86_64 || ARCH_ARM_64)
+       select LIBUKDEBUG
+       select LIBNOLIBC if !HAVE_LIBC
+       help
+                Create a Unikraft image that runs as a solo5 application
+
+if (PLAT_SOLO5)
+config SOLO5_HVT_TENDER
+       bool "install the solo5 hvt tender"
+       default y
+       depends on (ARCH_X86_64 || ARCH_ARM_64)
+       help
+                Install the solo5 hvt monitor to the system
+endif
-- 
2.17.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel