[Minios-devel] [UNIKRAFT PATCH 2/2] plat/*: Move generic platform configuration to submenu

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Move generic platform configuration options to a new
platform configuration submenu called "Platform Interface Options".
Rename the menu item "Platform Support" to "Platform Configuration".

Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
---
 Config.uk      | 2 +-
 plat/Config.uk | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Config.uk b/Config.uk
index ad6d815..eea961e 100644
--- a/Config.uk
+++ b/Config.uk
@@ -32,7 +32,7 @@ menu "Architecture Selection"
        source "arch/Config.uk"
 endmenu
 
-menu "Platform Support"
+menu "Platform Configuration"
        source "plat/Config.uk"
 endmenu
 
diff --git a/plat/Config.uk b/plat/Config.uk
index e14cc85..7c07921 100644
--- a/plat/Config.uk
+++ b/plat/Config.uk
@@ -2,8 +2,11 @@ source "plat/xen/Config.uk"
 source "plat/kvm/Config.uk"
 source "plat/linuxu/Config.uk"
 
+menu "Platform Interface Options"
 config UKPLAT_MEMRNAME
        bool "Memory region names"
        default n
        help
                Enable name field in memory region descriptors
+
+endmenu
-- 
2.7.4


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