diff -r 86aca821477b -r 06ff4a96d7e0 configs/example/se.py
--- a/configs/example/se.py	Fri Aug 31 18:34:32 2012 -0500
+++ b/configs/example/se.py	Fri Aug 31 18:37:39 2012 -0500
@@ -193,6 +193,9 @@
         # Connect the cpu's cache ports to Ruby
         system.cpu[i].icache_port = ruby_port.slave
         system.cpu[i].dcache_port = ruby_port.slave
+        if buildEnv['TARGET_ISA'] == 'x86':
+            system.cpu[i].itb.walker.port = ruby_port.slave
+            system.cpu[i].dtb.walker.port = ruby_port.slave
 else:
     system.system_port = system.membus.slave
     system.physmem.port = system.membus.master