diff --git a/drivers/base/Kconfig b/drivers/base/Kconfig index 0b4e22436935d8c4403a5d0dafa8090780cbca3e..1429f3a2629e60003e575bb02c5dd6fe97470e3c 100644 --- a/drivers/base/Kconfig +++ b/drivers/base/Kconfig @@ -37,8 +37,8 @@ config DEBUG_DRIVER If you are unsure about this, say N here. -endmenu - config SYS_HYPERVISOR bool default n + +endmenu