From 472b947fbe4cb5dc3d9f0743a81a712b6f5f1643 Mon Sep 17 00:00:00 2001
From: Stephen Twigg <sdtwigg@eecs.berkeley.edu>
Date: Tue, 24 Sep 2013 16:16:12 -0700
Subject: [PATCH] push rocket (add option to RocketConfiguration, vm, to turn
 off virtualk memory)

---
 rocket | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rocket b/rocket
index dd5647b1..6488b3ef 160000
--- a/rocket
+++ b/rocket
@@ -1 +1 @@
-Subproject commit dd5647b1c4745486bbdb933a7b74068ff616691a
+Subproject commit 6488b3ef6dd8fbb4f59df4680ba2dc0fd8819d48