Revision b8d3f5d1 hw/ppc405_boards.c

b/hw/ppc405_boards.c
288 288 
        bd.bi_plb_busfreq = 33333333;
289 289 
        bd.bi_pci_busfreq = 33333333;
290 290 
        bd.bi_opbfreq = 33333333;
291 
        bdloc = ppc405_set_bootinfo(env, &bd);
291 
        bdloc = ppc405_set_bootinfo(env, &bd, 0x00000001);
292 292 
        env->gpr[3] = bdloc;
293 293 
        kernel_base = KERNEL_LOAD_ADDR;
294 294 
        /* now we can load the kernel */

Also available in: Unified diff