diff -Naur xen-unstable-trp-sdp-pristine/extras/mini-os/arch/x86/mm.c xen-unstable-trp-sdp/extras/mini-os/arch/x86/mm.c
--- xen-unstable-trp-sdp-pristine/extras/mini-os/arch/x86/mm.c	2011-02-23 14:47:26.000000000 -0500
+++ xen-unstable-trp-sdp/extras/mini-os/arch/x86/mm.c	2011-02-23 19:40:48.000000000 -0500
@@ -850,6 +850,8 @@
 static long system_ram_end_mfn;
 int mfn_is_ram(unsigned long mfn)
 {
+   /* This is broken on systems with large ammounts of ram. Always return 0 for now */
+    return 0;
     /* very crude check if a given MFN is memory or not. Probably should
      * make this a little more sophisticated ;) */
     return (mfn <= system_ram_end_mfn) ? 1 : 0;