From 2a0bfcd3da1a9f76cd2d0b05f59afb6533faa318 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Mon, 19 Aug 2013 18:08:31 -0700
Subject: [PATCH] Don't clobber the ELF headers!

---
 pk/init.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pk/init.c b/pk/init.c
index 0e4f2fb..0b36d61 100644
--- a/pk/init.c
+++ b/pk/init.c
@@ -45,6 +45,7 @@ static void user_init()
   // load program named by argv[0]
   current.phdr_top = stack_top;
   load_elf((char*)args->argv[0], &current);
+  stack_top = current.phdr;
 
   struct {
     long key;