diff -r 9fb0f81b4416 -r a86fcf9e4fcd config/arch/alpha.in
--- a/config/arch/alpha.in	Sun Oct 05 15:32:00 2008 +0000
+++ b/config/arch/alpha.in	Wed Jan 06 18:40:08 2010 +0100
@@ -1,6 +1,7 @@
 # Alpha specific configuration file
 
 config ARCH_alpha
+    select ARCH_USE_MMU
     select ARCH_SUPPORT_CPU
     select ARCH_SUPPORT_TUNE
     help