Revision d33fd9d1 hw/etraxfs.c

b/hw/etraxfs.c
141 141
                fprintf(stderr, "Too long CRIS kernel cmdline (max 256)\n");
142 142
                exit(1);
143 143
            }
144
            pstrcpy_targphys(high, 256, kernel_cmdline);
145 144
            /* Let the kernel know we are modifying the cmdline.  */
146 145
            env->regs[10] = 0x87109563;
147
            env->regs[11] = high;
146
            env->regs[11] = 0x40000000;
147
            pstrcpy_targphys(env->regs[11], 256, kernel_cmdline);
148 148
        }
149 149
    }
150 150
    env->pc = bootstrap_pc;

Also available in: Unified diff