[RFC PATCH] xen/kconfig: allow LATE_HWDOM config for ARM

[Sergiy Kibrik <Sergiy_Kibrik@xxxxxxxx>]

Allow to build ARM configuration with support for initializing hardware domain.
On ARM it is only possible to start hardware domain in multiboot mode, so
dom0less support is required. This is reflected by dependency on DOM0LESS_BOOT
instead of directly depending on ARM config option.

Signed-off-by: Sergiy Kibrik <Sergiy_Kibrik@xxxxxxxx>
---
 xen/common/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xen/common/Kconfig b/xen/common/Kconfig
index 90268d9249..7368ca8208 100644
--- a/xen/common/Kconfig
+++ b/xen/common/Kconfig
@@ -374,7 +374,7 @@ endchoice
 config LATE_HWDOM
        bool "Dedicated hardware domain"
        default n
-       depends on XSM && X86
+       depends on XSM && (X86 || DOM0LESS_BOOT)
        help
          Allows the creation of a dedicated hardware domain distinct from
          domain 0 that manages devices without needing access to other
-- 
2.25.1