[Minios-devel] [UNIKRAFT PATCH 2/6] 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 | 8 ++++++++
 2 files changed, 9 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..70e50f9
--- /dev/null
+++ b/plat/solo5/Config.uk
@@ -0,0 +1,8 @@
+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
-- 
2.17.1


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