Use exec instead of system to start bochs.
[pintos-anon] / TODO
2004-10-26 Ben PfaffAdd todo list.