[Minios-devel] [UNIKRAFT PATCH v2 1/5] plat/solo5: Add solo5 platform Config.uk file

[Haibo Xu <haibo.xu@xxxxxxx>]

Signed-off-by: Haibo Xu <haibo.xu@xxxxxxx>
---
 plat/Config.uk       |  1 +
 plat/solo5/Config.uk | 17 +++++++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 plat/solo5/Config.uk

diff --git a/plat/Config.uk b/plat/Config.uk
index 8a878eb..0a07d92 100644
--- a/plat/Config.uk
+++ b/plat/Config.uk
@@ -1,6 +1,7 @@
 source "plat/xen/Config.uk"
 source "plat/kvm/Config.uk"
 source "plat/linuxu/Config.uk"
+source "plat/solo5/Config.uk"
 
 menu "Platform Interface Options"
 config UKPLAT_MEMRNAME
diff --git a/plat/solo5/Config.uk b/plat/solo5/Config.uk
new file mode 100644
index 0000000..99df78f
--- /dev/null
+++ b/plat/solo5/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