tree 86256adc11c0033722e68b610d6a5d9019c48dce
parent f335e2052b7d439f6c04db81c54cd208cc04699a
author Barret Rhoden <brho@cs.berkeley.edu> 1389734906 -0800
committer Barret Rhoden <brho@cs.berkeley.edu> 1389734906 -0800

Abort vminit for now

Minor hack, sorry.