Thu Jun 23 13:34:12 CEST 2011

Reset to 0x110070 : warm_reset

I find that when I call soft_reset_halt, the PC gets reset to
0x110070, which in my current eCos setup is warm_reset.  It would be
strange that this is a coincidence.  So how does GDB know how to set
that address?