From: Ben Pfaff Date: Mon, 22 Nov 2004 23:05:03 +0000 (+0000) Subject: Use exec instead of system to start bochs. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b39736b0506a065e5b9980f7926d9c6c663f242f;hp=b39736b0506a065e5b9980f7926d9c6c663f242f;p=pintos-anon Use exec instead of system to start bochs. ---