changeset 1596 | ca1bf632da51 |
parent 903 | 9fb0f81b4416 |
child 1635 | 5d1936ad5ba8 |
1.1 --- a/config/arch/x86.in Sun Oct 05 15:32:00 2008 +0000 1.2 +++ b/config/arch/x86.in Mon Oct 26 09:10:38 2009 +0100 1.3 @@ -1,6 +1,7 @@ 1.4 # x86 specific options 1.5 1.6 config ARCH_x86 1.7 + select ARCH_USE_MMU 1.8 select ARCH_SUPPORT_ARCH 1.9 select ARCH_SUPPORT_CPU 1.10 select ARCH_SUPPORT_TUNE