Review Board requires JavaScript in order to function. Please turn it on in your browser preferences.
Firefox users: if you prefer to turn on JavaScript only for specific sites, we recommend the NoScript extension.
Review Request #713 - Created May 23, 2011 and submitted May 24, 2011, 3:50 p.m. - Latest diff uploaded May 23, 2011, 5:41 p.m.
Name: Replace M5 with gem5 in a few places it's printed on startup.
