Sorry, I can't help you myself. If you get no response here, you should probably try the ARM Support address: support-sw@arm.com.
Attached to stopped deviceWarning: No stack/heap or top_of_memory defined - setting top_of_memory to 0x00080000