From: Ben Pfaff Date: Thu, 9 Sep 2004 20:55:11 +0000 (+0000) Subject: Allow students to easily disable VM. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c41e28475e8da965e807bbe3ca96feba10fafc2d;hp=c41e28475e8da965e807bbe3ca96feba10fafc2d;p=pintos-anon Allow students to easily disable VM. ---