Revision 3fc6c082 hw/ppc_chrp.c

b/hw/ppc_chrp.c
235 235
    int ret, linux_boot, i;
236 236
    unsigned long bios_offset;
237 237
    uint32_t kernel_base, kernel_size, initrd_base, initrd_size;
238
    ppc_def_t *def;
238 239
    PCIBus *pci_bus;
239 240
    const char *arch_name;
240 241

  
......
286 287
        initrd_size = 0;
287 288
    }
288 289
    /* Register CPU as a 74x/75x */
289
    cpu_ppc_register(cpu_single_env, 0x00080000);
290
    /* XXX: CPU model (or PVR) should be provided on command line */
291
    //    ppc_find_by_name("750gx", &def); // Linux boot OK
292
    //    ppc_find_by_name("750fx", &def); // Linux boot OK
293
    /* Linux does not boot on 750cxe (and probably other 750cx based)
294
     * because it assumes it has 8 IBAT & DBAT pairs as it only have 4.
295
     */
296
    //    ppc_find_by_name("750cxe", &def);
297
    //    ppc_find_by_name("750p", &def);
298
    //    ppc_find_by_name("740p", &def);
299
    ppc_find_by_name("750", &def);
300
    //    ppc_find_by_name("740", &def);
301
    //    ppc_find_by_name("G3", &def);
302
    //    ppc_find_by_name("604r", &def);
303
    //    ppc_find_by_name("604e", &def);
304
    //    ppc_find_by_name("604", &def);
305
    if (def == NULL) {
306
        cpu_abort(cpu_single_env, "Unable to find PowerPC CPU definition\n");
307
    }
308
    cpu_ppc_register(cpu_single_env, def);
309

  
290 310
    /* Set time-base frequency to 10 Mhz */
291 311
    cpu_ppc_tb_init(cpu_single_env, 10UL * 1000UL * 1000UL);
292 312

  

Also available in: Unified diff