Revision 4ee7b2f8

b/hw/ppc_oldworld.c
377 377
                         graphic_width, graphic_height, graphic_depth);
378 378
    /* No PCI init: the BIOS will do it */
379 379

  
380
    /* Special port to get debug messages from Open-Firmware */
381
    register_ioport_write(0x0F00, 4, 1, &PPC_debug_write, NULL);
382

  
383 380
    fw_cfg = fw_cfg_init(0, 0, CFG_ADDR, CFG_ADDR + 2);
384 381
    fw_cfg_add_i32(fw_cfg, FW_CFG_ID, 1);
385 382
    fw_cfg_add_i64(fw_cfg, FW_CFG_RAM_SIZE, (uint64_t)ram_size);

Also available in: Unified diff