diff options
| -rw-r--r-- | drivers/base/Kconfig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/drivers/base/Kconfig b/drivers/base/Kconfig index 0b4e22436935..1429f3a2629e 100644 --- a/drivers/base/Kconfig +++ b/drivers/base/Kconfig | |||
| @@ -37,8 +37,8 @@ config DEBUG_DRIVER | |||
| 37 | 37 | ||
| 38 | If you are unsure about this, say N here. | 38 | If you are unsure about this, say N here. |
| 39 | 39 | ||
| 40 | endmenu | ||
| 41 | |||
| 42 | config SYS_HYPERVISOR | 40 | config SYS_HYPERVISOR |
| 43 | bool | 41 | bool |
| 44 | default n | 42 | default n |
| 43 | |||
| 44 | endmenu | ||