changeset 1543 | 2cc7b9556b39 |
parent 1038 | 33f695f7773a |
1.1 --- a/config/arch/x86_64.in Fri Nov 07 08:09:42 2008 +0000 1.2 +++ b/config/arch/x86_64.in Sat Sep 26 12:46:41 2009 +0200 1.3 @@ -2,6 +2,7 @@ 1.4 1.5 config ARCH_x86_64 1.6 select ARCH_64 1.7 + select ARCH_USE_MMU 1.8 select ARCH_SUPPORT_ARCH 1.9 select ARCH_SUPPORT_CPU 1.10 select ARCH_SUPPORT_TUNE