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