diff options
-rw-r--r-- | config/x86_32.mk | 1 | ||||
-rw-r--r-- | config/x86_64.mk | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/config/x86_32.mk b/config/x86_32.mk index 4a0490afa8..ce0bb67ba1 100644 --- a/config/x86_32.mk +++ b/config/x86_32.mk @@ -1,4 +1,5 @@ CONFIG_X86 := y +CONFIG_X86_32 := y CONFIG_X86_$(XEN_OS) := y CONFIG_HVM := y diff --git a/config/x86_64.mk b/config/x86_64.mk index e85b37ff91..99b25d8059 100644 --- a/config/x86_64.mk +++ b/config/x86_64.mk @@ -1,4 +1,5 @@ CONFIG_X86 := y +CONFIG_X86_64 := y CONFIG_X86_$(XEN_OS) := y CONFIG_HVM := y |