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 <[email protected]> Signed-off-by: Michal Orzel <[email protected]> --- 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
