E.4.2. Saving favorites

Be aware of the following when working on Red Hat Linux:

When the file has been created and saved, it is updated at the end of each debugging session in the usual way.

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