DOM0LESS_BOOT is sufficient (only Arm selects it today). If needed, proper arch dependency can be introduced while adding support for it for another architecture.
Suggested-by: Jan Beulich <jbeul...@suse.com> Signed-off-by: Michal Orzel <michal.or...@amd.com> --- xen/common/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/common/Kconfig b/xen/common/Kconfig index 0951d4c2f286..7ecf5a80315d 100644 --- a/xen/common/Kconfig +++ b/xen/common/Kconfig @@ -164,7 +164,7 @@ config STATIC_MEMORY config STATIC_EVTCHN bool "Static event channel support on a dom0less system" - depends on DOM0LESS_BOOT && ARM + depends on DOM0LESS_BOOT default y help This option enables establishing static event channel communication -- 2.25.1