17.8. Configuring workspace settings

The following sections describe how to modify the workspace settings and restore the factory settings:

Copyright © 2002-2011 ARM. All rights reserved.ARM DUI 0153N
Non-ConfidentialID052111