Review Board 2.0.15

JavaScript is turned off

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.

Information
Submitter:	Gou Pengfei
Repository:	gem5
Branch:
Bugs:
Depends On:
Reviewers
Groups:	Default
People:	ali, nate

Description

Some trivial changes.

Testing Done

Can load binaries generated by TRIPS toolchain.