--- a/lib/barrelfish/target/x86_32/pmap_target.c	Fri Mar 02 09:46:13 2012 +0100
+++ b/lib/barrelfish/target/x86_32/pmap_target.c	Mon May 21 14:48:14 2012 +0200
@@ -205,7 +205,7 @@
         page->next  = ptable->u.vnode.children;
         ptable->u.vnode.children = page;
         page->u.frame.cap = frame;
-        page->u.frame.offset = 0;
+        page->u.frame.offset = i;
         page->u.frame.flags = flags;

         // Map entry into the page table