diff options
-rw-r--r-- | config/x86_32.mk | 1 | ||||
-rw-r--r-- | config/x86_64.mk | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/config/x86_32.mk b/config/x86_32.mk index b2afb68e7d..73bd2b7eb4 100644 --- a/config/x86_32.mk +++ b/config/x86_32.mk @@ -1,5 +1,4 @@ CONFIG_X86 := y -CONFIG_PLAN9 := y CONFIG_HVM := y CONFIG_MIGRATE := y CONFIG_IOEMU := y diff --git a/config/x86_64.mk b/config/x86_64.mk index 1e81e9eb06..2cd709dd09 100644 --- a/config/x86_64.mk +++ b/config/x86_64.mk @@ -1,5 +1,4 @@ CONFIG_X86 := y -CONFIG_PLAN9 := y CONFIG_HVM := y CONFIG_MIGRATE := y CONFIG_IOEMU := y |