]> xenbits.xensource.com Git - unikraft/plats/solo5.git/commitdiff
external plat: Add solo5 platform Config.uk file
authorHaibo Xu <haibo.xu@arm.com>
Mon, 26 Aug 2019 09:10:55 +0000 (17:10 +0800)
committerFelipe Huici <felipe.huici@neclab.eu>
Mon, 26 Aug 2019 15:36:54 +0000 (17:36 +0200)
Signed-off-by: Haibo Xu <haibo.xu@arm.com>
Reviewed-by: Felipe Huici <felipe.huici@neclab.eu>
Config.uk [new file with mode: 0644]

diff --git a/Config.uk b/Config.uk
new file mode 100644 (file)
index 0000000..c0492b9
--- /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 on the local system
+endif