image\openred.gif  See the RealView Debugger v1.8 User Guide for details of all the settings.