What is the recommended way to debug using the FVP Simulator? Is it to use ARM Dev Studio or GDB? Are there any articles that explain how to do this please?