# HG changeset patch
# User Ingmar Schraub <is@eseco.de>
# Date 1251452089 -7200
# Node ID ff95f62f84a1f5f659c6fedee292001f9c7b9def
# Parent  79c3cd3818d9b6c09f7de287d5246a52b7c26b4a
x86_64: is a MMU-aware arch, so select ARCH_USE_MMU

diff -r 79c3cd3818d9 -r ff95f62f84a1 config/arch/x86_64.in
--- a/config/arch/x86_64.in	Fri Aug 28 11:33:56 2009 +0200
+++ b/config/arch/x86_64.in	Fri Aug 28 11:34:49 2009 +0200
@@ -2,6 +2,7 @@
 
 config ARCH_x86_64
     select ARCH_64
+    select ARCH_USE_MMU
     select ARCH_SUPPORT_ARCH
     select ARCH_SUPPORT_CPU
     select ARCH_SUPPORT_TUNE