--- helper.c.ORG    2010-05-04 11:27:48.000000000 -0400
+++ helper.c    2010-06-13 19:46:58.000000000 -0400
@@ -134,6 +134,15 @@
         set_feature(env, ARM_FEATURE_V7);
         set_feature(env, ARM_FEATURE_M);
         set_feature(env, ARM_FEATURE_DIV);
+    /* R13 = SP, R14=LR, R15=PC */
+    {
+        uint8_t buf[8];
+        cpu_physical_memory_read(0x0, buf, sizeof(buf));
+        env->regs[13]=(buf[0]<<24) | (buf[1] << 16) | (buf[2] << 8) | bu
f[3];
+        env->regs[14]=0xFFFFFFFF;
+        env->regs[15]=(buf[4]<<24) | (buf[5] << 16) | (buf[6] << 8) | bu
f[7];
+fprintf(stderr,"cpu_reset_model_id: SP=0x%X, LR=0x%X, PC=0x%X\n",
env->regs[13]
, env->regs[14], env->regs[15]);