Get rid of unnecessary barrier. Improve comment.
[pintos-anon] / src / misc / TODO
2005-01-04 Ben PfaffUpdate Bochs and toolchain build summaries.
2004-10-15 Ben PfaffFix a few details.
2004-09-29 Ben PfaffMove TODO.