11.2.2. Options window

The Options window enables you to examine, and change, your current global configuration options. These settings are saved in the file rvdebug.ini and are included when the default workspace opens for the first time.

If you are working without a workspace, use this window to make the changes described in the rest of this chapter.

Copyright © 2003, 2004 ARM Limited. All rights reserved.ARM DUI 0234B
Non-Confidential